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]

Reply via email to