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):
Steps to Reproduce:
2.go to the tools menu using mouse
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.
Problem known upstream.
Created attachment 98148 [details]
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.