src/Tools/jEdit/src/text_area_painter.scala

               r <- gfx_range(range)
             } {
               gfx.setColor(color)
               gfx.fillRect(r.x, y + i * line_height, r.length, line_height)
             }
+
+            // hyperlink range -- potentially from other snapshot
+            for {
+              info <- doc_view.hyperlink_range()
+              Text.Info(range, _) <- info.try_restrict(line_range)
+              r <- gfx_range(range)
+            } {
+              gfx.setColor(Isabelle_Rendering.hyperlink_color)
+              gfx.drawRect(r.x, y + i * line_height, r.length - 1, line_height - 1)
+            }
           }
         }
       }
     }
   }