log src/name/blackcap/clipman/Menus.kt @ 36:fcf82e3b7e31

age author description
Thu, 30 Jan 2020 20:24:02 -0800 David Barts Remove deadwood.
Thu, 30 Jan 2020 20:21:42 -0800 David Barts Got it correctly enabling and disabling menu items.