Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/rendering.scala
changeset 56176 0bc9b0ad6287
parent 56173 62f10624339a
child 56202 0a11d17eeeff 
--- a/src/Tools/jEdit/src/rendering.scala	Mon Mar 17 13:53:02 2014 +0100
+++ b/src/Tools/jEdit/src/rendering.scala	Mon Mar 17 14:37:23 2014 +0100
@@ -599,7 +599,7 @@
 
   def background(range: Text.Range): List[Text.Info[Color]] =
   {
-    if (snapshot.is_outdated) List(Text.Info(range, outdated_color))
+    if (snapshot.is_outdated && snapshot.is_loaded) List(Text.Info(range, outdated_color))
     else
       for {
         Text.Info(r, result) <-
isabelle