explicit is always immediate;

--- a/src/Pure/Isar/completion.scala	Fri Aug 30 12:46:32 2013 +0200
+++ b/src/Pure/Isar/completion.scala	Fri Aug 30 12:59:28 2013 +0200
@@ -121,7 +121,7 @@
           val immediate =
             !Completion.is_word(word) &&
             Character.codePointCount(word, 0, word.length) > 1
-          Some((word, ds.map(s => Completion.Item(word, s, s, immediate))))
+          Some((word, ds.map(s => Completion.Item(word, s, s, explicit || immediate))))
         }
       case None => None
     }