src/Pure/Tools/spell_checker.scala

             suggestions(word)
         }
       result.getOrElse(Nil).map(recover_case)
     }
 
-  def complete_enabled(word: String): Boolean = complete(word).nonEmpty
-
   def completion(rendering: Rendering, caret: Text.Offset): Option[Completion.Result] =
   {
     val caret_range = rendering.before_caret_range(caret)
     for {
       word <- Spell_Checker.current_word(rendering, caret_range)

       items =
         words.map(w => Completion.Item(word.range, word.info, "", List(w, descr), w, 0, false))
     } yield Completion.Result(word.range, word.info, false, items)
   }
 }
-
 
 class Spell_Checker_Variable
 {
   private val no_spell_checker: (String, Option[Spell_Checker]) = ("", None)
   private var current_spell_checker = no_spell_checker