# HG changeset patch
# User wenzelm
# Date 1377849685 -7200
# Node ID 2e745fc404162ffd8549d314e0a16af95570762d
# Parent  98fdf6c34142cf27c65fbd1c8c39dfac493d4514
less surprising immediate completion;

diff -r 98fdf6c34142 -r 2e745fc40416 src/Pure/Isar/completion.scala
--- a/src/Pure/Isar/completion.scala	Fri Aug 30 00:11:01 2013 +0200
+++ b/src/Pure/Isar/completion.scala	Fri Aug 30 10:01:25 2013 +0200
@@ -112,7 +112,9 @@
         val ds = (if (decode) cs.map(Symbol.decode(_)).sorted else cs)
         if (ds.isEmpty) None
         else {
-          val immediate = !Completion.is_word(word)
+          val immediate =
+            !Completion.is_word(word) &&
+            Character.codePointCount(word, 0, word.length) > 1
           Some((word, ds.map(s => Completion.Item(word, s, s, immediate))))
         }
       case None => None