refresh_file


Description:

public async void refresh_file ()

Refresh current file from disk (if no unsaved changes).

FIXME: This should prompt the user about unsaved changes and handle errors with user interaction (dialogs, notifications).