src/Pure/PIDE/rendering.scala

   def background(
     elements: Markup.Elements,
     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])](
           range, (List(Markup.Empty), None), elements,
           command_states =>

 
 
   /* 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 =
         snapshot.cumulate[List[Markup]](range, Nil, Document_Status.Command_Status.liberal_elements,
           _ =>