Mercurial > cgi-bin > hgweb.cgi > ClipMan
log
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. |