eliminated Command.Status.REMOVE/REMOVED;

--- a/src/Tools/jEdit/src/jedit/TheoryView.scala	Tue Jan 27 22:13:56 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/TheoryView.scala	Tue Jan 27 22:14:40 2009 +0100
@@ -148,8 +148,7 @@
 
   def repaint(cmd: Command) =
   {
-    val status = cmd.status
-    if (text_area != null && status != Command.Status.REMOVE && status != Command.Status.REMOVED) {
+    if (text_area != null) {
       val start = text_area.getLineOfOffset(to_current(cmd.start))
       val stop = text_area.getLineOfOffset(to_current(cmd.stop) - 1)
       text_area.invalidateLineRange(start, stop)