src/Tools/jEdit/src/rendering.scala

 
   private val language_context_elements =
     Document.Elements(Markup.STRING, Markup.ALTSTRING, Markup.VERBATIM,
       Markup.CARTOUCHE, Markup.COMMENT, Markup.LANGUAGE,
       Markup.ML_STRING, Markup.ML_COMMENT)
-
-  private val prose_words_elements = Document.Elements(Markup.WORDS)
 
   private val highlight_elements =
     Document.Elements(Markup.LANGUAGE, Markup.ML_TYPING, Markup.TOKEN_RANGE,
       Markup.ENTITY, Markup.PATH, Markup.URL, Markup.SORTING,
       Markup.TYPING, Markup.FREE, Markup.SKOLEM, Markup.BOUND,

         case Text.Info(_, _) =>
           Some(Completion.Language_Context.inner)
       }).headOption.map(_.info)
 
 
-  /* prose words */
-
-  def prose_words(range: Text.Range): List[Text.Range] =
-    snapshot.select(range, Rendering.prose_words_elements, _ => _ => Some(())).map(_.range)
+  /* spell checker */
+
+  private lazy val spell_checker_elements =
+    Document.Elements(space_explode(',', options.string("spell_checker_elements")): _*)
+
+  def spell_checker_ranges(range: Text.Range): List[Text.Range] =
+    snapshot.select(range, spell_checker_elements, _ => _ => Some(())).map(_.range)
 
 
   /* command status overview */
 
   def overview_limit: Int = options.int("jedit_text_overview_limit")