log src/name/blackcap/clipman/SearchDialog.kt @ 38:08eaae2aaf76

age author description
Thu, 30 Jan 2020 22:06:37 -0800 David Barts Stop dialog resizing, fix detection of bad font sizes.
Thu, 30 Jan 2020 16:01:51 -0800 David Barts Compiles, new menu still a mess.
Wed, 29 Jan 2020 14:36:16 -0800 David Barts Fix searching (and main display).
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.