teeemcee 2023-04-05 21:07:59 -0700 (Wed, 05 Apr 2023) 163 Support disabled menu items in EditorKit (set_disabled) and ModularMenu
They didn't previously because shaded() was hackily repurposed for the menu header colour. --- U wip/editorkit.bas U wip/editorkit.bi U wip/menus.bas U wip/menus.bi _______________________________________________ Ohrrpgce mailing list ohrrpgce@lists.motherhamster.org http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org
