# HG changeset patch
# User wenzelm
# Date 1230906896 -3600
# Node ID b08299e7bbe620bd1dbb0cac324c8728aa2e4a9d
# Parent  e2aa32bb73c0e3e39a90db7325b124e379c7c623
adapted Isar.command;

diff -r e2aa32bb73c0 -r b08299e7bbe6 src/Tools/jEdit/src/prover/Prover.scala
--- a/src/Tools/jEdit/src/prover/Prover.scala	Mon Dec 29 21:01:55 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala	Fri Jan 02 15:34:56 2009 +0100
@@ -156,12 +156,8 @@
     cmd.status = Command.Status.UNPROCESSED
     commands.put(cmd.id, cmd)
 
-    val props = new Properties
-    props.setProperty(Markup.ID, cmd.id)
-    props.setProperty(Markup.OFFSET, "1")
-
     val content = isabelle_symbols.encode(document.getContent(cmd))
-    process.create_command(props, content)
+    process.create_command(cmd.id, content)
     process.insert_command(if (cmd.previous == null) "" else cmd.previous.id, cmd.id)
   }