log src/name/blackcap/clipman/SearchDialog.kt @ 62:c56a0747c256 default tip

age author description
Sun, 12 Apr 2020 14:31:06 -0700 David Barts Recoded; cleaned up root namespace, removed race conditions.
Thu, 30 Jan 2020 22:06:37 -0800 David Barts Stop dialog resizing, fix detection of bad font sizes.