After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 304484 - preferences should be placed in edit instead of file
preferences should be placed in edit instead of file
Status: RESOLVED DUPLICATE of bug 116535
Product: Gnumeric
Classification: Applications
Component: GUI
1.4.x
Other All
: Normal minor
: ---
Assigned To: Jody Goldberg
Jody Goldberg
Depends on:
Blocks:
 
 
Reported: 2005-05-17 09:48 UTC by Hein-Jan Leliveld
Modified: 2005-05-17 15:21 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Hein-Jan Leliveld 2005-05-17 09:48:07 UTC 
I think it is a good usability improvement when file->preferences is moved to
edit->preferences, as almost all gnome applications (and abiword) has its
preferences menu placed there.

Other information:
Comment 1 Andreas J. Guelzow 2005-05-17 15:21:23 UTC 

*** This bug has been marked as a duplicate of 116535 ***