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
_______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
