[Texmacs-dev] menu caching patch

[Gubinelli Massimiliano]

Hi all,
 attached you can find an improved patch to enable menu caching in  
TeXmacs/Qt. Now it works fine under MacOSX but I didn't have the time  
to check it under Linux.
If in the meanwhile you want to try it yourself, please do it.

If everything is fine I will commit it next week.

Best
Massimiliano

menu-ownership.patch
Description: Binary data