write


Description:

public async void write (string contents) throws Error

Write contents to buffer and file.

Updates GtkSource.Buffer.text with new contents and writes to file on disk. For files in database, creates backup before writing.

Process

  1. Update buffer text property

    2. Write to file (creates backup, writes, updates metadata)

    3. Update last_read_timestamp to match file modification time

Parameters:

contents

Contents to write

Exceptions:

Error

if file cannot be written