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

[Torsten Lilge]

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

The intended (and current) way is that the editor silently closes the old file
before renaming and loads the renamed file at the same tab location after the
file has been renamed. The user only sees that the filename in the editor's
tab is updated.

I think, for this we need to handle the renaming by ourselves.

    _______________________________________________________

Reply to this item at:

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

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