log src/name/blackcap/clipman/Menus.kt @ 30:0e88c6bed11e

age author description
Wed, 29 Jan 2020 21:56:12 -0800 David Barts Remove the troublesome delete command(s).
Wed, 29 Jan 2020 13:39:14 -0800 David Barts Use BorderFactory; clean up Find dialog.
Wed, 29 Jan 2020 10:50:07 -0800 David Barts Big reorg; compiled but untested.