Mercurial > cgi-bin > hgweb.cgi > ClipMan
log
age | author | description |
---|---|---|
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. |
Mon, 20 Jan 2020 21:53:15 -0800 | David Barts | Braindead POS wasn't honoring <style> tags; fixed that. |
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. |