reload_file_from_disk


Description:

public async void reload_file_from_disk ()

Reloads active file from disk into buffer, discarding unsaved changes.