tuned -- eliminated redundant check (see 1f77110c94ef);

--- 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 {