# HG changeset patch
# User wenzelm
# Date 1230493585 -3600
# Node ID eea0eae5f7739184053beb535682abedc7f38140
# Parent  3b9d0074ed447af4c5ce5e81e7377930b87c0c9d
removed redundant CommandChangeInfo;

diff -r 3b9d0074ed44 -r eea0eae5f773 src/Tools/jEdit/src/jedit/TheoryView.scala
--- a/src/Tools/jEdit/src/jedit/TheoryView.scala	Sun Dec 28 20:35:34 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/TheoryView.scala	Sun Dec 28 20:46:25 2008 +0100
@@ -11,7 +11,7 @@
 
 import isabelle.utils.EventSource
 import isabelle.proofdocument.Text
-import isabelle.prover.{Prover, Command, CommandChangeInfo}
+import isabelle.prover.{Prover, Command}
 import isabelle.prover.Command.Phase
 
 import java.awt.Graphics2D
diff -r 3b9d0074ed44 -r eea0eae5f773 src/Tools/jEdit/src/prover/CommandChangeInfo.scala
--- a/src/Tools/jEdit/src/prover/CommandChangeInfo.scala	Sun Dec 28 20:35:34 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-/*
- * @author Johannes Hölzl, TU Munich
- */
-
-package isabelle.prover
-
-class CommandChangeInfo(val command : Command)
diff -r 3b9d0074ed44 -r eea0eae5f773 src/Tools/jEdit/src/prover/Prover.scala
--- a/src/Tools/jEdit/src/prover/Prover.scala	Sun Dec 28 20:35:34 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala	Sun Dec 28 20:46:25 2008 +0100
@@ -34,7 +34,7 @@
   private var initialized = false
     
   val activated = new EventSource[Unit]
-  val commandInfo = new EventSource[CommandChangeInfo]
+  val commandInfo = new EventSource[Command]
   val outputInfo = new EventSource[String]
   val allInfo = new EventSource[Result]
   var document = null : Document
@@ -47,8 +47,7 @@
     SwingUtilities.invokeLater(new Runnable { def run = body })
 
 
-  def fireChange(c : Command) =
-    swing { commandInfo.fire(new CommandChangeInfo(c)) }
+  def fireChange(c: Command) = swing { commandInfo.fire(c) }
 
   var workerThread = new Thread("isabelle.Prover: worker") {
     override def run() : Unit = {