Dirty fix for Help menu issue
commit9dbab9cdf0ab259952b62e321d2dee545e566e0c
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Tue, 14 Oct 2008 14:29:51 +0000 (14 14:29 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Tue, 14 Oct 2008 14:29:51 +0000 (14 14:29 +0000)
treede81f2ac726570fcdde3e83dca21f4651e289ed9
parent3ab19d36fb6526ad95322b6d16e242639bdc905d
Dirty fix for Help menu issue

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2366 64cb5145-927a-446d-8aed-2fb7b4773692
src/src/Plugins/Qt/TODO
src/src/Plugins/Qt/qt_menu.cpp