equal
deleted
inserted
replaced
83 } |
83 } |
84 } |
84 } |
85 |
85 |
86 private def query_provers() |
86 private def query_provers() |
87 { |
87 { |
88 PIDE.session.protocol_command("Sledgehammer.provers") |
88 if (PIDE.session.is_ready) |
|
89 PIDE.session.protocol_command("Sledgehammer.provers") |
89 } |
90 } |
90 |
91 |
91 |
92 |
92 /* main actor */ |
93 /* main actor */ |
93 |
94 |
111 Swing_Thread.require() |
112 Swing_Thread.require() |
112 |
113 |
113 PIDE.session.phase_changed += main_actor |
114 PIDE.session.phase_changed += main_actor |
114 PIDE.session.global_options += main_actor |
115 PIDE.session.global_options += main_actor |
115 Sledgehammer_Params.provers += main_actor |
116 Sledgehammer_Params.provers += main_actor |
116 if (PIDE.session.is_ready) query_provers() |
117 query_provers() |
117 handle_resize() |
118 handle_resize() |
118 sledgehammer.activate() |
119 sledgehammer.activate() |
119 } |
120 } |
120 |
121 |
121 override def exit() |
122 override def exit() |