src/Tools/jEdit/src/jedit_options.scala

     class GUI extends Bool_GUI(this, "Proof state") {
       tooltip = "Output of proof state (normally shown on State panel)"
     }
   }
 
+  object auto_hovering extends Bool_Access("editor_auto_hovering") {
+    class GUI extends Bool_GUI(this, "Auto hovering") {
+      tooltip = "Automatic mouse hovering without keyboard modifier"
+    }
+  }
 
 
   /* editor pane for plugin options */
 
   trait Entry extends Component {