immler@in.tum.de [Tue, 18 Nov 2008 15:01:00 +0100] rev 34372
done
immler@in.tum.de [Tue, 18 Nov 2008 15:00:23 +0100] rev 34371
fine grained scrolling
immler@in.tum.de [Tue, 18 Nov 2008 13:46:43 +0100] rev 34370
removed senseless lines
immler@in.tum.de [Tue, 18 Nov 2008 13:43:18 +0100] rev 34369
restructured scroller
immler@in.tum.de [Mon, 17 Nov 2008 16:39:39 +0100] rev 34368
renamed to message_panel
immler@in.tum.de [Thu, 13 Nov 2008 13:08:37 +0100] rev 34367
playing with xsymbols
immler@in.tum.de [Thu, 13 Nov 2008 11:59:39 +0100] rev 34366
use utf-8 charset encoding
immler@in.tum.de [Tue, 11 Nov 2008 15:27:48 +0100] rev 34365
copying selection to clipboard
immler@in.tum.de [Mon, 10 Nov 2008 19:31:27 +0100] rev 34364
selecting text of state view
immler@in.tum.de [Mon, 10 Nov 2008 17:32:07 +0100] rev 34363
worked over autoscrolling