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 655467 - Tools menu should have a separator
Tools menu should have a separator
Status: RESOLVED FIXED
Product: gedit-latex
Classification: Core
Component: General
3.0.x
Other Linux
: Normal normal
: ---
Assigned To: José Aliste
Gedit maintainers
Depends on:
Blocks:
 
 
Reported: 2011-07-28 01:09 UTC by Lucas David-Roesler
Modified: 2019-02-22 03:41 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
patch (867 bytes, patch)
2011-07-28 01:09 UTC, Lucas David-Roesler 		committed Details | Review

Description Lucas David-Roesler 2011-07-28 01:09:55 UTC 
Created attachment 192786 [details] [review]
patch

I feel kinda silly for submitting a bug on this, but I think the tools menu is a too busy, we should add a separator after the list of tex tools.  I have attached a patch.
Comment 1 Ignacio Casal Quinteiro (nacho) 2011-07-28 08:08:07 UTC 
Review of attachment 192786 [details] [review]:

Looks good
Comment 2 Ignacio Casal Quinteiro (nacho) 2011-07-28 13:32:36 UTC 
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.