[Ohrrpgce] SVN: teeemcee/13190 Add eduiNote, which EditorKit.defunselectable now defaults to

[subversion at HamsterRepublic.com]

teeemcee
2023-04-05 21:07:51 -0700 (Wed, 05 Apr 2023)
221
Add eduiNote, which EditorKit.defunselectable now defaults to

For usability we need a separate colour to indicate text that's not a real or
disabled menu item. But I don't like this particular colour (uiSelectedDisabled)
---
U   wip/editorkit.bas
U   wip/editorkit.bi
U   wip/uiconst.bi