[Texmacs-dev] patch for menu caching

[Gubinelli Massimiliano]

Hi all,
 I've reverted my last changes to menu handling (by commiting a  
reverse patch). For those of you who would like to experiment with the  
new code I attach here the related patch.

sorry for the inconvenient but strangely the changes worked fine on   
my mac (but here also I discovered that there are some problems).

Massimiliano

menu-ownership.patch
Description: Binary data