[Ohrrpgce] SVN: teeemcee/13191 Support disabled menu items in EditorKit (set_disabled) and ModularMenu

[subversion at HamsterRepublic.com]

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