removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear);
authorwenzelm
Sat Jun 28 17:54:34 2014 +0200 (2014-06-28)
changeset 57424966b12f636b9
parent 57423 96f970d1522b
child 57425 625a369b4f32
removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear);
src/Tools/jEdit/src/isabelle.scala
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Sat Jun 28 15:50:48 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Sat Jun 28 17:54:34 2014 +0200
     1.3 @@ -255,8 +255,7 @@
     1.4  
     1.5    def complete(view: View, word_only: Boolean)
     1.6    {
     1.7 -    if (!Completion_Popup.Text_Area.action(view.getTextArea, word_only))
     1.8 -      CompleteWord.completeWord(view)
     1.9 +    Completion_Popup.Text_Area.action(view.getTextArea, word_only)
    1.10    }
    1.11  
    1.12