log src/name/blackcap/clipman/Main.kt @ 64:a30deee457e3

age author description
8 days ago David Barts Commit most recent changes. last-old-threading
2022-03-27 David Barts Set app name, deal with some deprecation.
2020-04-12 David Barts Fix app name.
2020-04-12 David Barts Recoded; cleaned up root namespace, removed race conditions.
2020-02-10 David Barts Simplified the settings. Compiles, not tested.
2020-02-09 David Barts Got the settings stuff compiling (untested).
2020-01-31 David Barts Got it correctly enabling and disabling menu items.
2020-01-31 David Barts Compiles, new menu still a mess.
2020-01-29 David Barts Fix searching (and main display).
2020-01-29 David Barts Use BorderFactory; clean up Find dialog.
2020-01-29 David Barts Big reorg; compiled but untested.
2020-01-24 David Barts Preliminary menu bar support.
2020-01-23 David Barts Add some searching hooks.
2020-01-22 David Barts HTMLEditorKit shares all stylesheets. How unbelievably braindamaged.
2020-01-22 David Barts Prune out some deadwood.
2020-01-22 David Barts Only convert RTF to HTML if needed. Much more efficient.
2020-01-21 David Barts Don't need head.
2020-01-21 David Barts Better cope with Swing's idiosyncrasies.
2020-01-21 David Barts Braindead POS wasn't honoring <style> tags; fixed that.
2020-01-20 David Barts Remove some deadwood.
2020-01-20 David Barts Fix the glitch of the JTextPane's sometimes being too tall.
2020-01-20 David Barts Make border sizes more explicit.
2020-01-19 David Barts Stomp out race conditions and set width adaptively.
2020-01-19 David Barts Get layout of main display non-ugly.
2020-01-19 David Barts More border tweaks, etc.
2020-01-19 David Barts Tweak borders (incomplete).
2020-01-18 David Barts Use JPanel.
2020-01-18 David Barts Stop it from spinning on non-textual clipboard data.
2020-01-14 David Barts Incomplete; checking it in as a backup.