src/Tools/jEdit/src/isabelle.scala
changeset 53293 fd27b8f5a479
parent 53281 251e1a2aa792
child 53322 a4cd032172e0
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 21:17:46 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 21:49:46 2013 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  
     1.5  import org.gjt.sp.jedit.{jEdit, View, Buffer}
     1.6  import org.gjt.sp.jedit.textarea.JEditTextArea
     1.7 -import org.gjt.sp.jedit.gui.DockableWindowManager
     1.8 +import org.gjt.sp.jedit.gui.{DockableWindowManager, CompleteWord}
     1.9  
    1.10  
    1.11  object Isabelle
    1.12 @@ -163,6 +163,17 @@
    1.13    }
    1.14  
    1.15  
    1.16 +  /* completion */
    1.17 +
    1.18 +  def complete(view: View)
    1.19 +  {
    1.20 +    Completion_Popup.Text_Area(view.getTextArea) match {
    1.21 +      case Some(text_area_completion) => text_area_completion.action(true)
    1.22 +      case None => CompleteWord.completeWord(view)
    1.23 +    }
    1.24 +  }
    1.25 +
    1.26 +
    1.27    /* control styles */
    1.28  
    1.29    def control_sub(text_area: JEditTextArea)