log src/name/blackcap/clipman/SearchDialog.kt @ 63:8c6d6ad92aa1 last-old-threading

age author description
2020-04-12 David Barts Recoded; cleaned up root namespace, removed race conditions.
2020-01-31 David Barts Stop dialog resizing, fix detection of bad font sizes.
2020-01-31 David Barts Compiles, new menu still a mess.
2020-01-29 David Barts Fix searching (and main display).
2020-01-29 David Barts Use BorderFactory; clean up Find dialog.
2020-01-29 David Barts Big reorg; compiled but untested.