|
From: | Ben Abbott |
Subject: | [Octave-bug-tracker] [bug #40312] GUI asks to reload a saved file |
Date: | Sun, 20 Oct 2013 18:39:07 +0000 |
User-agent: | Mozilla/5.0 (Macintosh; Intel Mac OS X 10_7_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/30.0.1599.101 Safari/537.36 |
Follow-up Comment #7, bug #40312 (project octave): With "97ed9dd479ab tip @" I see no change in behavior. "edit foo.m" results in a dialog with "It seems that `foo.m' has been modified by another application. Do you want to reload it?" "edit foo.txt" results in a dialog with "Could not open file foo.txt for read: No such file or directory" _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?40312> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |