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 517746 - Preferences should be in Edit menu
Preferences should be in Edit menu
Status: VERIFIED DUPLICATE of bug 349925
Product: meld
Classification: Other
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: Stephen Kennedy
Stephen Kennedy
Depends on:
Blocks:
 
 
Reported: 2008-02-20 20:36 UTC by Jaap A. Haitsma
Modified: 2009-08-15 18:40 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Jaap A. Haitsma 2008-02-20 20:36:54 UTC 
The GNOME HIG advises this and almost all GNOME apps do this. So better to remove the settings menu
Comment 1 Toms Bauģis 2008-06-20 10:00:42 UTC 
Fixed in Trunk, and dupe of 349925

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