--- 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