log src/name/blackcap/clipman/Main.kt @ 21:c10a447b9e1b

age author description
Thu, 23 Jan 2020 00:02:07 -0800 David Barts Add some searching hooks.
Tue, 21 Jan 2020 23:38:10 -0800 David Barts HTMLEditorKit shares all stylesheets. How unbelievably braindamaged.
Tue, 21 Jan 2020 16:42:32 -0800 David Barts Prune out some deadwood.
Tue, 21 Jan 2020 16:24:18 -0800 David Barts Only convert RTF to HTML if needed. Much more efficient.
Mon, 20 Jan 2020 23:02:51 -0800 David Barts Don't need head.
Mon, 20 Jan 2020 22:59:04 -0800 David Barts Better cope with Swing's idiosyncrasies.