--- a/src/Tools/jEdit/src/jedit/BrowseVersionDockable.scala Mon Aug 03 16:56:33 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/BrowseVersionDockable.scala Fri Aug 07 13:04:59 2009 +0200
@@ -6,7 +6,7 @@
package isabelle.jedit
-import isabelle.proofdocument.Text
+import isabelle.proofdocument.Change
import java.awt.Dimension
import scala.swing.{ListView, FlowPanel}
@@ -21,7 +21,7 @@
if (position == DockableWindowManager.FLOATING)
preferredSize = new Dimension(500, 250)
- val list = new ListView[Text.Change]
+ val list = new ListView[Change]
list.fixedCellWidth = 500
new javax.swing.Timer(1000, new java.awt.event.ActionListener {