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