|
From: | Ben Abbott |
Subject: | [Octave-bug-tracker] [bug #40312] GUI asks to reload a saved file |
Date: | Sun, 20 Oct 2013 13:27:22 +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 #3, bug #40312 (project octave): I can now edit a new file, but the original problem persists. "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] |