write_buffer_to_disk


Description:

public async void write_buffer_to_disk ()

Writes current buffer contents of active file to disk.