src/Tools/jEdit/src/sledgehammer_dockable.scala

 
 import org.gjt.sp.jedit.View
 import org.gjt.sp.jedit.gui.HistoryTextField
 
 
-class Sledgehammer_Dockable(view: View, position: String) extends Dockable(view, position)
-{
+class Sledgehammer_Dockable(view: View, position: String) extends Dockable(view, position) {
   GUI_Thread.require {}
 
 
   /* text area */
 

 
   /* query operation */
 
   private val process_indicator = new Process_Indicator
 
-  private def consume_status(status: Query_Operation.Status.Value): Unit =
-  {
+  private def consume_status(status: Query_Operation.Status.Value): Unit = {
     status match {
       case Query_Operation.Status.WAITING =>
         process_indicator.update("Waiting for evaluation of context ...", 5)
       case Query_Operation.Status.RUNNING =>
         process_indicator.update("Sledgehammering ...", 15)

   addComponentListener(new ComponentAdapter {
     override def componentResized(e: ComponentEvent): Unit = delay_resize.invoke()
     override def componentShown(e: ComponentEvent): Unit = delay_resize.invoke()
   })
 
-  private def handle_resize(): Unit =
-  {
+  private def handle_resize(): Unit = {
     GUI_Thread.require {}
 
     pretty_text_area.resize(
       Font_Info.main(PIDE.options.real("jedit_font_scale") * zoom.factor / 100))
   }
 
 
   /* controls */
 
-  private def clicked: Unit =
-  {
+  private def clicked: Unit = {
     provers.addCurrentToHistory()
     PIDE.options.string("sledgehammer_provers") = provers.getText
     sledgehammer.apply_query(
       List(provers.getText, isar_proofs.selected.toString, try0.selected.toString))
   }

         "Automatic provers as space-separated list, e.g.\n" +
           PIDE.options.value.check_name("sledgehammer_provers").default_value)
   }
 
   private val provers = new HistoryTextField("isabelle-sledgehammer-provers") {
-    override def processKeyEvent(evt: KeyEvent): Unit =
-    {
+    override def processKeyEvent(evt: KeyEvent): Unit = {
       if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) clicked
       super.processKeyEvent(evt)
     }
     setToolTipText(provers_label.tooltip)
     setColumns(30)
   }
 
-  private def update_provers(): Unit =
-  {
+  private def update_provers(): Unit = {
     val new_provers = PIDE.options.string("sledgehammer_provers")
     if (new_provers != provers.getText) {
       provers.setText(new_provers)
       if (provers.getCaret != null)
         provers.getCaret.setDot(0)

   private val main =
     Session.Consumer[Session.Global_Options](getClass.getName) {
       case _: Session.Global_Options => GUI_Thread.later { update_provers(); handle_resize() }
     }
 
-  override def init(): Unit =
-  {
+  override def init(): Unit = {
     PIDE.session.global_options += main
     update_provers()
     handle_resize()
     sledgehammer.activate()
   }
 
-  override def exit(): Unit =
-  {
+  override def exit(): Unit = {
     sledgehammer.deactivate()
     PIDE.session.global_options -= main
     delay_resize.revoke()
   }
 }