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

age author description
2020-04-12 David Barts Recoded; cleaned up root namespace, removed race conditions.
2020-02-10 David Barts Adjust spacing in preferences.
2020-02-10 David Barts Fix some settings/preferences issues.
2020-02-10 David Barts Simplified the settings. Compiles, not tested.
2020-02-09 David Barts Got the settings stuff compiling (untested).