ClipMan: revision graph

graph

less more | rev 45: (0) -30 -10 -6 +6 +10 tip

Adjust spacing in preferences.
2020-02-10, by David Barts
Fix some settings/preferences issues.
2020-02-10, by David Barts
Simplified the settings. Compiles, not tested.
2020-02-10, by David Barts
Add default.properties.
2020-02-09, by David Barts
Got the settings stuff compiling (untested).
2020-02-09, by David Barts
Make the JScrollPane scroll properly to highlighted text.
2020-02-06, by David Barts

less more | rev 45: (0) -30 -10 -6 +6 +10 tip