# HG changeset patch
# User wenzelm
# Date 1397419177 -7200
# Node ID 46a4c6b688c9634f64f9dc7fd57520b73b67d6a8
# Parent  927dff80d0df45ec9a28afa0aa60961c34099cd2
clarified complete: participate in case-mangling of check;

diff -r 927dff80d0df -r 46a4c6b688c9 src/Tools/jEdit/src/spell_checker.scala
--- a/src/Tools/jEdit/src/spell_checker.scala	Sun Apr 13 21:51:49 2014 +0200
+++ b/src/Tools/jEdit/src/spell_checker.scala	Sun Apr 13 21:59:37 2014 +0200
@@ -162,11 +162,12 @@
        contains(Library.uppercase(word, dictionary.locale)))
 
   def complete(word: String): List[String] =
-  {
-    val m = dict.getClass.getSuperclass. getDeclaredMethod("searchSuggestions", classOf[String])
-    m.setAccessible(true)
-    m.invoke(dict, word).asInstanceOf[java.util.List[AnyRef]].toArray.toList.map(_.toString)
-  }
+    if (check(word)) Nil
+    else {
+      val m = dict.getClass.getSuperclass. getDeclaredMethod("searchSuggestions", classOf[String])
+      m.setAccessible(true)
+      m.invoke(dict, word).asInstanceOf[java.util.List[AnyRef]].toArray.toList.map(_.toString)
+    }
 
   def marked_words(base: Text.Offset, text: String): List[Text.Info[String]] =
     Spell_Checker.marked_words(base, text, info => !check(info.info))