[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-patch-tracker] [patch #10170] Improve file rename ergonomy
From: |
Philip Nienhuis |
Subject: |
[Octave-patch-tracker] [patch #10170] Improve file rename ergonomy |
Date: |
Sun, 6 Feb 2022 13:58:04 -0500 (EST) |
Follow-up Comment #15, patch #10170 (project octave):
Tried patch #4 (in Mageia 8) with Octave-8.0.0
I see the file editor popup, it offers to save or close the file. When
clicking "Close" the file is gone in the editor, when clicking "Save" the
editor file tab neatly shows the new name.
Is that what was intended? I can also imagine users wanting that Octave would
rather retain the old file name and just offers to save it again with the old
name. Admittedly could be far-fetched - it's just up to you, I have no opinion
about desired behavior.
But I suppose it should be documented somewhere, probably in that file save
popup dialog, s/th along the lines of '...save *with the new file name*'.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/patch/?10170>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, (continued)
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Remi Thebault, 2022/02/02
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Philip Nienhuis, 2022/02/03
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Torsten Lilge, 2022/02/03
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Philip Nienhuis, 2022/02/03
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Torsten Lilge, 2022/02/03
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Philip Nienhuis, 2022/02/04
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Remi Thebault, 2022/02/04
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Torsten Lilge, 2022/02/04
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Torsten Lilge, 2022/02/05
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Remi Thebault, 2022/02/05
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy,
Philip Nienhuis <=
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Torsten Lilge, 2022/02/06
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Philip Nienhuis, 2022/02/07
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Torsten Lilge, 2022/02/07
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Philip Nienhuis, 2022/02/07
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Torsten Lilge, 2022/02/07
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Philip Nienhuis, 2022/02/08
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Torsten Lilge, 2022/02/15
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Philip Nienhuis, 2022/02/15
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Philip Nienhuis, 2022/02/18
- [Octave-patch-tracker] [patch #10170] Improve file rename ergonomy, Torsten Lilge, 2022/02/18