src/Tools/jEdit/src/active.scala

           val text_area = doc_view.text_area
           val model = doc_view.model
           val buffer = model.buffer
           val snapshot = model.snapshot()
 
-          def try_replace_command(exec_id: Document_ID.ID, s: String)
+          def try_replace_command(exec_id: Document_ID.Exec, s: String)
           {
             snapshot.state.execs.get(exec_id).map(_.command) match {
               case Some(command) =>
                 snapshot.node.command_start(command) match {
                   case Some(start) =>