Tue, 24 Feb 2009 19:29:34 +0100 No longer scroll the focus view for mouseWheel events.
Stefan Vogel <sv@exept.de> [Tue, 24 Feb 2009 19:29:34 +0100] rev 3641
No longer scroll the focus view for mouseWheel events. This is compatible with the other mouse events, that interact with the window where the mouse pointer is (you have the mouse already at hand, haven't you?). You can now mousewheel-scroll a non-focused SelectionInListView without the risk of changing the current selection. This is compatible with the beaviour of other applications (e.g. firefox)
Wed, 18 Feb 2009 18:56:53 +0100 pixelSize stuff
Claus Gittinger <cg@exept.de> [Wed, 18 Feb 2009 18:56:53 +0100] rev 3640
pixelSize stuff
Tue, 17 Feb 2009 19:17:44 +0100 pixelSized font preps
Claus Gittinger <cg@exept.de> [Tue, 17 Feb 2009 19:17:44 +0100] rev 3639
pixelSized font preps
Tue, 17 Feb 2009 18:09:15 +0100 bugfix - redraw
ca [Tue, 17 Feb 2009 18:09:15 +0100] rev 3638
bugfix - redraw
Mon, 16 Feb 2009 14:12:30 +0100 automatically generated by browser
Claus Gittinger <cg@exept.de> [Mon, 16 Feb 2009 14:12:30 +0100] rev 3637
automatically generated by browser
Mon, 16 Feb 2009 14:12:27 +0100 automatically generated by browser
Claus Gittinger <cg@exept.de> [Mon, 16 Feb 2009 14:12:27 +0100] rev 3636
automatically generated by browser
Mon, 16 Feb 2009 14:12:25 +0100 automatically generated by browser
Claus Gittinger <cg@exept.de> [Mon, 16 Feb 2009 14:12:25 +0100] rev 3635
automatically generated by browser
Mon, 16 Feb 2009 14:12:23 +0100 automatically generated by browser
Claus Gittinger <cg@exept.de> [Mon, 16 Feb 2009 14:12:23 +0100] rev 3634
automatically generated by browser
Mon, 16 Feb 2009 14:12:21 +0100 automatically generated by browser
Claus Gittinger <cg@exept.de> [Mon, 16 Feb 2009 14:12:21 +0100] rev 3633
automatically generated by browser
Mon, 16 Feb 2009 14:12:18 +0100 automatically generated by browser
Claus Gittinger <cg@exept.de> [Mon, 16 Feb 2009 14:12:18 +0100] rev 3632
automatically generated by browser
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip