# HG changeset patch
# User wenzelm
# Date 1407676561 -7200
# Node ID d50aeb916a4be454fd3c4bc8f9faceaa85f74136
# Parent  38bf4de248a610d734d2cc9b5da99d0ed53eacc7
tuned -- eliminated redundant check (see 1f77110c94ef);

diff -r 38bf4de248a6 -r d50aeb916a4b src/Tools/jEdit/src/document_model.scala
--- a/src/Tools/jEdit/src/document_model.scala	Sun Aug 10 14:34:43 2014 +0200
+++ b/src/Tools/jEdit/src/document_model.scala	Sun Aug 10 15:16:01 2014 +0200
@@ -104,13 +104,10 @@
       val snapshot = this.snapshot()
 
       val document_view_ranges =
-        if (is_theory) {
-          for {
-            doc_view <- PIDE.document_views(buffer)
-            range <- doc_view.perspective(snapshot).ranges
-          } yield range
-        }
-        else Nil
+        for {
+          doc_view <- PIDE.document_views(buffer)
+          range <- doc_view.perspective(snapshot).ranges
+        } yield range
 
       val load_ranges =
         for {