log src/name/blackcap/clipman/Menus.kt @ 35:5f8475b37e23

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