--- a/src/Tools/VSCode/src/vscode_spell_checker.scala Sun Nov 05 17:45:17 2017 +0100
+++ b/src/Tools/VSCode/src/vscode_spell_checker.scala Mon Nov 06 16:03:13 2017 +0100
@@ -19,7 +19,7 @@
(for {
spell_checker <- rendering.resources.spell_checker.get.iterator
spell_range <- rendering.spell_checker_ranges(model.content.text_range).iterator
- text <- model.try_get_text(spell_range).iterator
+ text <- model.get_text(spell_range).iterator
info <- spell_checker.marked_words(spell_range.start, text).iterator
} yield info.range).toList
Document_Model.Decoration.ranges("spell_checker", ranges)