--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala Wed Nov 26 18:10:53 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala Thu Nov 27 21:15:31 2008 +0100
@@ -150,7 +150,7 @@
if(message_panel.no == -1) {
message_panel.no = 0
- message_panel.invalidate
+ message_panel.revalidate
}
}
@@ -160,7 +160,7 @@
if (e.getSource == vscroll){
message_panel.no = e.getValue / subunits
message_panel.offset = 100 - 100 * (e.getValue % subunits) / subunits
- message_panel.invalidate
+ message_panel.revalidate
}
}