From Bugzilla Helper: User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20031007 Description of problem: the tools menu is empty. Version-Release number of selected component (if applicable): gedit-2.4.0-3 How reproducible: Always Steps to Reproduce: 1.start gedit 2.go to the tools menu using mouse 3. Actual Results: The tools menu is empty Expected Results: There should be something in the tools menu or the tools menu heading should be removed. Additional info:
Problem known upstream. http://bugzilla.gnome.org/show_bug.cgi?id=95733
Created attachment 98148 [details] gedit-2.4.0-remove-tools-menu.patch According to the info in the upstream bug report, the problem was originally reported in october 2002(!) for gedit 2.1, and the latest relevant status comment was added in february 2003(!) saying "I have still not found a simple way to fix this bug." I suggest to temporarily remove the Tools menu, until the problem is solved upstream. This patch removes the Tools menu.
*** This bug has been marked as a duplicate of 131607 ***
Changed to 'CLOSED' state since 'RESOLVED' has been deprecated.