I have the same problem on Debian 6.0, Ubuntu 10.04 and Ubuntu 11.10. If
I select Help/Show Contents from Gnome Terminal, I get an infinite
number of empty help windows grabbing the focus.
Here is an idea to help tracking down this bug. I believe that the help
menu item in the terminal worked on Debian 6.0 until I installed the
GoGui 1.4.2 software[1], which I am the author of. After that, it did
not work anymore. GoGui has an install shell script that installs an OMF
file to /usr/local/share/omf/gogui/gogui-C.omf and then runs
scrollkeeper-update.
I am not sure if this really triggered the bug because I would have to
reinstall the distribution from scratch to test this theory, but I do
have GoGui installed on all systems listed above and they all have a
broken help system now.
- Markus
[1] http://sourceforge.net/projects/gogui/files/gogui/1.4.2/gogui-1.4.2.zip
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]