octave-patch-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-patch-tracker] [patch #7857] Replace dynamic casts of GUI/IDE ed


From: Torsten
Subject: [Octave-patch-tracker] [patch #7857] Replace dynamic casts of GUI/IDE editor with more slots/signals configuration
Date: Sun, 04 Nov 2012 20:05:05 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux i686; rv:16.0) Gecko/20100101 Firefox/16.0

Follow-up Comment #16, patch #7857 (project octave):

Thanks for the new patch.
It fixes the issues mentioned in my earlier post except for the warning that
another application has changed the file when saving. This does not depend on
the way the file was opened or created. 

I did not find an obvious reason for this effect since the handling of the
file watcher has not changed but there is an interesting effect: If you put 
_file_system_watcher.addPath (saveFileName);
in save_file() (not in set_file_name()) directly after 
set_file_name(savedFileName);
you can save the file once without warning but following save actions produce
the warning again. 

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?7857>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]