... and ...
But the very last is only a workaround for the existing abuse
of pop-up menus for what should have been done by a drop-down
list widget, which we do not have at the moment. :-)
Thanks for reminding me about this one. It
so bothers me that I have just reverted my image to the old
MenuMorph implementation.
... and ...
But the very last is only a workaround for the existing abuse of pop-up menus for what should have been done by a drop-down list widget, which we do not have at the moment. :-)