Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adj scrolling
authorimmler@in.tum.de
Wed, 19 Nov 2008 11:49:30 +0100
changeset 34384 00276ab4f1d5
parent 34383 e5c34d6809dd
child 34385 5ff833cfd3c8
adj scrolling
src/Tools/jEdit/src/jedit/ScrollerDockable.scala file | annotate | diff | comparison | revisions 
--- 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())
isabelle