log src/name/blackcap/clipman/SettingsDialog.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.
Mon, 10 Feb 2020 06:55:07 -0700 David Barts Adjust spacing in preferences.
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.
Sat, 08 Feb 2020 22:10:01 -0700 David Barts Got the settings stuff compiling (untested).