equal
deleted
inserted
replaced
49 } |
49 } |
50 |
50 |
51 case XML.Elem(Markup(Markup.SIMP_TRACE_PANEL, props), _) => |
51 case XML.Elem(Markup(Markup.SIMP_TRACE_PANEL, props), _) => |
52 val link = |
52 val link = |
53 props match { |
53 props match { |
54 case Position.Id(id) => PIDE.editor.hyperlink_command(true, snapshot, id) |
54 case Position.Id(id) => JEdit_Editor.hyperlink_command(true, snapshot, id) |
55 case _ => None |
55 case _ => None |
56 } |
56 } |
57 GUI_Thread.later { |
57 GUI_Thread.later { |
58 link.foreach(_.follow(view)) |
58 link.foreach(_.follow(view)) |
59 view.getDockableWindowManager.showDockableWindow("isabelle-simplifier-trace") |
59 view.getDockableWindowManager.showDockableWindow("isabelle-simplifier-trace") |