|
From: | Ben Abbott |
Subject: | [Octave-bug-tracker] [bug #40312] GUI asks to reload a saved file |
Date: | Sun, 20 Oct 2013 15:17:43 +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 #5, bug #40312 (project octave): Opps. You are correct. "edit foo.txt" does not work, but "edit foo.m" does work. In the latter case, creating the new file produces a dialog containing "It seems that `/Users/<snip>...</snip>/the_file_name.m' has been modified by another application. Do you want to reload it?" _______________________________________________________ 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] |