src/Pure/PIDE/rendering.scala

--- a/src/Pure/PIDE/rendering.scala	Tue Nov 04 17:20:20 2025 +0100
+++ b/src/Pure/PIDE/rendering.scala	Tue Nov 04 20:11:15 2025 +0100
@@ -469,7 +469,7 @@
     range: Text.Range,
     focus: Rendering.Focus
   ) : List[Text.Info[Rendering.Color.Value]] = {
-    val now = Time.now()
+    val now = Date.now()
     for {
       Text.Info(r, result) <-
         snapshot.cumulate[(List[Markup], Option[Rendering.Color.Value])](
@@ -764,7 +764,7 @@
   /* command status overview */
 
   def overview_color(range: Text.Range): Option[Rendering.Color.Value] = {
-    val now = Time.now()
+    val now = Date.now()
     if (snapshot.is_outdated) None
     else {
       val results =