Fix
commitf74728bf2b91a0a6e39c11335b3628fb6cf9d980
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Thu, 26 Nov 2009 20:14:32 +0000 (26 20:14 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Thu, 26 Nov 2009 20:14:32 +0000 (26 20:14 +0000)
treea8d124fbbe6094fe33aeed72c5bff2588814d467
parentec651912b1b373b53d742535cb4c53d0292415d4
Fix

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