Wed, 23 Jan 2013 16:35:26 -0500 Aesthetic improvements to chat widget. Also fixed the ghosting issue in a few areas by using repaint().
dag10 [Wed, 23 Jan 2013 16:35:26 -0500] rev 8430
Aesthetic improvements to chat widget. Also fixed the ghosting issue in a few areas by using repaint(). Restored "random" button next to "seed" button in mapcontainer widget when in hand-drawn mode.
(0) -3000 -1000 -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 +1000 +3000 tip