# HG changeset patch
# User immler@in.tum.de
# Date 1227091770 -3600
# Node ID 00276ab4f1d5fc8c6f4ba1e13a92aea6112c1a25
# Parent  e5c34d6809dd0f19359397b753ccf4bfb66a9a0c
adj scrolling

diff -r e5c34d6809dd -r 00276ab4f1d5 src/Tools/jEdit/src/jedit/ScrollerDockable.scala
--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Wed Nov 19 11:45:54 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Wed Nov 19 11:49:30 2008 +0100
@@ -113,8 +113,8 @@
   val message_panel = new MessagePanel(cache)
   val infopanel = new InfoPanel
   val vscroll = new JScrollBar(Adjustable.VERTICAL, 0, 1, 0, 1)
-  vscroll.setUnitIncrement(subunits / 5)
-  vscroll.setBlockIncrement(subunits / 2)
+  vscroll.setUnitIncrement(subunits / 3)
+  vscroll.setBlockIncrement(subunits)
   vscroll.addAdjustmentListener(this)
   
   setLayout(new BorderLayout())