--- a/src/Tools/jEdit/src/isabelle.scala Wed Jan 11 22:30:11 2017 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala Thu Jan 12 11:17:05 2017 +0100
@@ -353,7 +353,7 @@
def select_entity(text_area: JEditTextArea)
{
for {
- doc_view <- PIDE.document_view(text_area)
+ doc_view <- Document_View.get(text_area)
rendering = doc_view.get_rendering()
} {
val caret_range = JEdit_Lib.caret_range(text_area)
@@ -416,7 +416,7 @@
{
for {
spell_checker <- PIDE.spell_checker.get
- doc_view <- PIDE.document_view(text_area)
+ doc_view <- Document_View.get(text_area)
rendering = doc_view.get_rendering()
range = JEdit_Lib.caret_range(text_area)
Text.Info(_, word) <- Spell_Checker.current_word(text_area, rendering, range)