--- a/src/Tools/jEdit/src/active.scala Sat Apr 04 18:13:05 2020 +0200
+++ b/src/Tools/jEdit/src/active.scala Sat Apr 04 19:18:19 2020 +0200
@@ -31,14 +31,14 @@
// FIXME avoid hard-wired stuff
elem match {
case XML.Elem(Markup(Markup.BROWSER, _), body) =>
- Standard_Thread.fork("browser") {
+ Standard_Thread.fork(name = "browser") {
val graph_file = Isabelle_System.tmp_file("graph")
File.write(graph_file, XML.content(body))
Isabelle_System.bash("isabelle browser -c " + File.bash_path(graph_file) + " &")
}
case XML.Elem(Markup(Markup.GRAPHVIEW, _), body) =>
- Standard_Thread.fork("graphview") {
+ Standard_Thread.fork(name = "graphview") {
val graph =
Exn.capture { Graph_Display.decode_graph(body).transitive_reduction_acyclic }
GUI_Thread.later { Graphview_Dockable(view, snapshot, graph) }