patch for menu caching

[Massimiliano Gubinelli]

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



_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@...
http://lists.gnu.org/mailman/listinfo/texmacs-dev