[Octave-patch-tracker] [patch #10170] Improve file rename ergonomy

[Philip Nienhuis]

Follow-up Comment #24, patch #10170 (project octave):

OK, the "unmodified" bug I saw in comment #21 works fine now. If I change the
file name of any file in the editor the editor tab is also renamed.
Thank you Torsten.

I only tested in Linux but I'll believe blindly it'll work on Windows as well
:-)

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/patch/?10170>

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