# HG changeset patch
# User immler@in.tum.de
# Date 1227016860 -3600
# Node ID b58404f41b686fb9359b775d70eb383c05f27f94
# Parent  8ba358ac69a89eff428249ab743726fcd4392794
done

diff -r 8ba358ac69a8 -r b58404f41b68 src/Tools/jEdit/src/jedit/ScrollerDockable.scala
--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Tue Nov 18 15:00:23 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Tue Nov 18 15:01:00 2008 +0100
@@ -1,8 +1,6 @@
 /*
  * ScrollerDockable.scala
  *
- * TODO: 
- * + scrolling *one* panel 
  */
 
 package isabelle.jedit