|
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/
[Prev in Thread] | Current Thread | [Next in Thread] |