--- a/src/Tools/jEdit/src/isabelle.scala Wed Mar 04 21:09:02 2020 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala Fri Mar 06 20:18:21 2020 +0100
@@ -581,4 +581,19 @@
val range = Text.Range(caret_range.start, view.getBuffer.getLength)
goto_error(view, range, avoid_range = caret_range, which = "next ")(_.headOption)
}
+
+
+ /* jconsole */
+
+ def jconsole(view: View) {
+ Future.thread(name = "jconsole", daemon = true) {
+ try { Isabelle_System.jconsole() }
+ catch {
+ case exn: Throwable =>
+ GUI_Thread.later {
+ GUI.error_dialog(view, "System error", GUI.scrollable_text(Exn.message(exn)))
+ }
+ }
+ }
+ }
}