log src/name/blackcap/clipman/SettingsDialog.kt @ 44:d14298ef8b0a

age author description
Sun, 09 Feb 2020 22:13:26 -0700 David Barts Fix some settings/preferences issues.
Sun, 09 Feb 2020 19:23:16 -0700 David Barts Simplified the settings. Compiles, not tested.