ClipMan: revision graph

graph

less more | rev 14: (0) -10 -6 +6 +10 +30 tip

Better cope with Swing's idiosyncrasies.
2020-01-21, by David Barts
Braindead POS wasn't honoring <style> tags; fixed that.
2020-01-21, by David Barts
Remove some deadwood.
2020-01-20, by David Barts
Fix the glitch of the JTextPane's sometimes being too tall.
2020-01-20, by David Barts
Make border sizes more explicit.
2020-01-20, by David Barts
Stomp out race conditions and set width adaptively.
2020-01-19, by David Barts

less more | rev 14: (0) -10 -6 +6 +10 +30 tip