What would be the best way to implement something like this in TeXmacs? Is it possible for a script to open a popup like the one that appears when you hold the mouse over a widget?
Thanks, Michael Below is an example from Komodo Edit.
<<inline: Picture 6.png>>
_______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
