What about putting the tooltips in a special area in the main window or in a separate window that is always there? Then one would not have the problems with the popups.
Andreas _______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel
