[Bug 31199] Revert should be called Reload from disk, and a new Revert implemented

2006-03-24 Thread Sebastien Bacher
Public bug report changed:
https://launchpad.net/malone/bugs/31199

Task: ubuntu gedit
   Assignee: (unassigned) = Ubuntu Desktop Bugs
 Status: Unconfirmed = Rejected

Comment:
Thank you for your bug. I've talked on IRC about that and revert is
the wording using for that actions by all sort of applications and
operating systems. Editing by some other way the text is a corner case
and you should know what you do if that's the case. I'm rejecting the
bug since we don't want to divert from upstream and that's the correct
wording for them. Feel free to argue upstream if you disagree

--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs


[Bug 31199] Revert should be called Reload from disk, and a new Revert implemented

2006-03-04 Thread Sitsofe Wheeler
Public bug report changed:
https://launchpad.net/malone/bugs/31199

Comment:
Possibly related to http://bugzilla.gnome.org/show_bug.cgi?id=143943 .

--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs


[Bug 31199] Revert should be called Reload from disk, and a new Revert implemented

2006-02-12 Thread Sitsofe Wheeler
Public bug report changed:
https://launchpad.net/malone/bugs/31199

Comment:
I was going to argue that this is a bit spurious as there are countless
programs on many platforms that have been using Revert to mean Reload
from disk. I was all set to point to OpenOffice.org as such an example
when upon loading it I found it was labelled Reload...

You make a good point and because of the Unix file semantics it is quite 
possible for another program to change the document beneath GEdit causing a 
revert to no longer act as an undo. However you are up against the GNOME HIG on 
this one:
http://developer.gnome.org/projects/gup/hig/2.0/menus-standard.html#id2527128
I suspect you would have to get it overturned/renamed there before GEdit would 
change its menu.

Convention means that people expect an item called Revert and most of
the programs I've ever used have implemented this as a reload. It's a
bad convention but you can always ask upstream...

--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs


[Bug 31199] Revert should be called Reload from disk, and a new Revert implemented

2006-02-11 Thread Kristoffer Lundén
Public bug reported:
https://launchpad.net/malone/bugs/31199

Affects: gedit (Ubuntu)
   Severity: Normal
   Priority: (none set)
 Status: Unconfirmed

Description:
File-Revert does not actually revert the file. Revert means to return
to a former condition, while what it actually does is reloading the
file from disk.

That file may have been changed by some other program, which is what I
actually use the current Revert for - reloading after external change.
However, that does not return it to a previous state, and it may be an
unexpected result due to the wording.

The warning says Changes made to the document in the last X minutes
will be permanently lost. even if no changes has actually occured. A
user that has made no changes may think that this is safe but become
very surprised if the file has changed externally.

If a Revert option is desired, then the application should make a note
of the state at open time and update it at every save - maybe a pointer
to a place in the undo history - that could be used to go back to this
earlier state. If undo is limited, a file could be used temporarily for
the session.

Ideally, there would be both a proper Revert and the current
functionality called Reload from disk.

--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs