# HG changeset patch
# User Torsten <ttl@justmail.de>
# Date 1356470102 -3600
# Node ID e55a64f49346e73e5b67e6f7cb3b0e9a5cc35efa
# Parent  424edeca3c66899136546a9b96ae091c1fac2087
editor: prevent reloaded file from being added twice to the file watcher

file-edtior-tab.cc: only readd an externally changed file to the file watcher in
handle_file_reload_answer () when it is not reloaded; if reloaded, it is readded
in set_system_file ()

diff -r 424edeca3c66 -r e55a64f49346 libgui/src/m-editor/file-editor-tab.cc
--- a/libgui/src/m-editor/file-editor-tab.cc	Sun Dec 23 14:33:48 2012 -0600
+++ b/libgui/src/m-editor/file-editor-tab.cc	Tue Dec 25 22:15:02 2012 +0100
@@ -1056,12 +1056,13 @@
 file_editor_tab::handle_file_reload_answer (int decision)
 {
   if (decision == QMessageBox::Yes)
-    {
+    { // reload: file is readded to the file watcher in set_file_name ()
       load_file (_file_name);
     }
-
-  // Start watching file once again.
-  _file_system_watcher.addPath (_file_name);
+  else
+    { // do not reload: readd to the file watche
+      _file_system_watcher.addPath (_file_name);
+    }
 }
 
 void