# HG changeset patch
# User immler@in.tum.de
# Date 1227012403 -3600
# Node ID 0c7a4957b4dab17219000d960d9b0885ab279f00
# Parent  2f6e50fa7ac45868624e63a338ce560423ff045c
removed senseless lines

diff -r 2f6e50fa7ac4 -r 0c7a4957b4da src/Tools/jEdit/src/jedit/ScrollerDockable.scala
--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Tue Nov 18 13:43:18 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Tue Nov 18 13:46:43 2008 +0100
@@ -217,9 +217,6 @@
         message_panel.no = e.getValue
         message_panel.offset = 0
         message_panel.invalidate
-        System.err.println("event: "+message_panel.no)
-        vscroll.setModel(new javax.swing.DefaultBoundedRangeModel(99,1,0,1000))
-        System.err.println("hello"+e.getValue)
     }
   }