[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: |
Mon, 7 Feb 2022 07:45:27 -0500 (EST) |
Follow-up Comment #17, patch #10170 (project octave):
Right, but still adapt the text on the File Save popup? or why have that popup
at all?
I'd think that if the file is just renamed and nothing else, there shouldn't
be any reason to save the editor tab contents. Those are still in the same
state as before the renaming (up-to-date on disk or not), all that is changed
is just a property of the file handle (name on disk). So IMO all that is
really needed is to just update the file name in the editor tab.
Or ... ?
(I'm sorry for the nitpicking :-) but I try to look at these things from a
users and ergonomics POV.)
_______________________________________________________
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, 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, 2022/02/06
- [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 <=
- [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