--- a/src/Tools/jEdit/src/jedit/browse_version_dockable.scala Tue Dec 08 14:49:01 2009 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,43 +0,0 @@
-/*
- * Dockable window for navigating through the document-versions
- *
- * @author Fabian Immler, TU Munich
- */
-
-package isabelle.jedit
-
-import isabelle.proofdocument.Change
-
-import java.awt.Dimension
-import scala.swing.{ListView, FlowPanel}
-import scala.swing.event.ListSelectionChanged
-
-import org.gjt.sp.jedit.View
-import org.gjt.sp.jedit.gui.DockableWindowManager
-
-
-class BrowseVersionDockable(view: View, position: String) extends FlowPanel
-{
- if (position == DockableWindowManager.FLOATING)
- preferredSize = new Dimension(500, 250)
-
- def prover_setup(): Option[ProverSetup] = Isabelle.prover_setup(view.getBuffer)
- def get_versions() =
- prover_setup() match {
- case None => Nil
- case Some(setup) => setup.theory_view.changes
- }
-
- val list = new ListView[Change]
- list.fixedCellWidth = 500
- list.listData = get_versions()
- contents += list
-
- listenTo(list.selection)
- reactions += {
- case ListSelectionChanged(source, range, false) =>
- prover_setup().map(_.theory_view.set_version(list.listData(range.start)))
- }
-
- prover_setup.foreach(_.prover.document_change += (_ => list.listData = get_versions()))
-}