Improved menu caching
commitbe4096aa56cb000e63d6b486b6dd47c8f1801722
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Wed, 7 Oct 2009 09:11:18 +0000 (7 09:11 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Wed, 7 Oct 2009 09:11:18 +0000 (7 09:11 +0000)
tree6a61d489f5db5b686015c1f725635b1cf03754be
parent4f1a66958a4d22087efa5f426b57126507f9bc10
Improved menu caching

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2771 64cb5145-927a-446d-8aed-2fb7b4773692
src/src/Guile/Scheme/object.cpp
src/src/Guile/Scheme/object.hpp
src/src/Texmacs/Window/tm_window.cpp
src/src/Texmacs/tm_window.hpp