Fix
commitdf3e31c0e06b5295bb75e57e081adc31a11f112e
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Sun, 25 Oct 2009 14:32:43 +0000 (25 14:32 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Sun, 25 Oct 2009 14:32:43 +0000 (25 14:32 +0000)
treeb3a5d3b91ceef35b928aed36ade5f810d533530a
parentb6595f7366c8a90b9ec0103cce7b27ab225df57c
Fix

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