Minor cleaning
commit2bdf16e8d4266a68fb18191c8e07a6232195cd1d
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Thu, 18 Dec 2008 16:11:01 +0000 (18 16:11 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Thu, 18 Dec 2008 16:11:01 +0000 (18 16:11 +0000)
treed081c24f1cbd8f3298fe3a8ba5f150eed9d8347f
parentc552a9797a01b2bdceddd7ad9a1eace764cb7465
Minor cleaning

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