[Octave-bug-tracker] [bug #60122] Save and Run in editor does not always save

[Nicholas Jankowski]

Follow-up Comment #35, bug #60122 (project octave):

that would be useful, but i'm pretty sure the underlying problem predates the
gui. I'll look through but I think people had issues with other file write
operations not triggering the modified date.


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60122>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/