log src/name/blackcap/clipman/SearchDialog.kt @ 43:339e2da5bf83

age author description
Thu, 30 Jan 2020 22:06:37 -0800 David Barts Stop dialog resizing, fix detection of bad font sizes.