add an user preference for loading changed files without a prompt (bug #42678) * file-editor-tab.cc (file_has_changed): check user preference before prompting for reloading the file; (notice-settings): get flag for prompting before reloading file from settings; * file-editor-tab.h: new flag _always_reload_changed files * settings-dialog.ui: new check box for new preference * settings-dialog.cc (constructor): get state of new check box from settings; (write_changes_settings): write state of new check box into settings

--- a/libgui/src/m-editor/file-editor-tab.h	Sun Jul 20 20:52:08 2014 +0200
+++ b/libgui/src/m-editor/file-editor-tab.h	Sun Jul 20 21:23:32 2014 +0200
@@ -224,6 +224,7 @@
   bool _app_closing;
   bool _is_octave_file;
   bool _modal_dialog;
+  bool _always_reload_changed_files;
 
   QFileSystemWatcher _file_system_watcher;