removed senseless lines
authorimmler@in.tum.de
Tue, 18 Nov 2008 13:46:43 +0100
changeset 34367 0c7a4957b4da
parent 34366 2f6e50fa7ac4
child 34368 8ba358ac69a8
removed senseless lines
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)
     }
   }