log src/name/blackcap/clipman/Main.kt @ 12:0fb6da371b80

age author description
Sun, 19 Jan 2020 19:44:42 -0800 David Barts Remove some deadwood.
Sun, 19 Jan 2020 19:39:52 -0800 David Barts Fix the glitch of the JTextPane's sometimes being too tall.
Sun, 19 Jan 2020 18:24:20 -0800 David Barts Make border sizes more explicit.
Sun, 19 Jan 2020 15:43:01 -0800 David Barts Stomp out race conditions and set width adaptively.
Sun, 19 Jan 2020 14:00:17 -0800 David Barts Get layout of main display non-ugly.
Sun, 19 Jan 2020 12:46:42 -0800 David Barts More border tweaks, etc.
Sun, 19 Jan 2020 10:53:38 -0800 David Barts Tweak borders (incomplete).