# HG changeset patch
# User wenzelm
# Date 1395063659 -3600
# Node ID bfa9dfb722dea0158e4ad08cbf5679964cf105c7
# Parent  0bc9b0ad62876b1f3196864063178af4d9843dd0
proper flags for main action (amending 638b29331549);

diff -r 0bc9b0ad6287 -r bfa9dfb722de src/Tools/jEdit/src/completion_popup.scala
--- a/src/Tools/jEdit/src/completion_popup.scala	Mon Mar 17 14:37:23 2014 +0100
+++ b/src/Tools/jEdit/src/completion_popup.scala	Mon Mar 17 14:40:59 2014 +0100
@@ -66,8 +66,9 @@
       apply(text_area) match {
         case Some(text_area_completion) =>
           if (text_area_completion.active_range.isDefined)
+            text_area_completion.action()
+          else
             text_area_completion.action(immediate = true, explicit = true)
-          else text_area_completion.action()
           true
         case None => false
       }