equal
deleted
inserted
replaced
259 GUI.error_dialog(jEdit.getActiveView, "Prover process terminated", |
259 GUI.error_dialog(jEdit.getActiveView, "Prover process terminated", |
260 "Isabelle Syslog", GUI.scrollable_text(PIDE.session.syslog_content())) |
260 "Isabelle Syslog", GUI.scrollable_text(PIDE.session.syslog_content())) |
261 } |
261 } |
262 |
262 |
263 case Session.Ready => |
263 case Session.Ready => |
264 PIDE.session.init_options(PIDE.options.value) |
264 PIDE.session.update_options(PIDE.options.value) |
265 PIDE.init_models() |
265 PIDE.init_models() |
266 |
266 |
267 if (!Isabelle.continuous_checking) { |
267 if (!Isabelle.continuous_checking) { |
268 GUI_Thread.later { |
268 GUI_Thread.later { |
269 val answer = |
269 val answer = |