Diff
Not logged in

Differences From:

File src/timeline.c part of check-in [4d051c1eda] - New timeline formatting experiment. Foreground font color changes when mousing over the vinfo hyperline show all immediate parents in red and immediate children in green and hide all entries that are not part of the current line. by drh on 2007-08-29 11:48:58. [view]

To:

File src/timeline.c part of check-in [4d03017923] - Put a colored asterisk beside entries of interest in the timeline, rather than doing lots of annoying text color and background changes. by drh on 2007-08-30 21:37:42. [view]

@@ -116,11 +116,12 @@
       @ </tr></table>
       @ </td></tr></table>
       @ </td></tr>
     }
-    @ <tr id="m%d(rid)">
+    @ <tr>
     @ <td valign="top">%s(&zDate[11])</td>
-    @ <td width="20"></td>
+    @ <td width="20" align="center" valign="top">
+    @ <font id="m%d(rid)" size="+1" color="white">*</font></td>
     @ <td valign="top" align="left">
     hyperlink_to_uuid_with_mouseover(zUuid, "xin", "xout", rid);
     if( nParent>1 ){
       @ <b>Merge</b>
@@ -229,8 +230,9 @@
   @   for(var x in parentof){
   @     setone(x,value);
   @   }
   @ }
+  @ setall("#ffffff");
   @ function setone(id, clr){
   @   if( parentof[id]==null ) return 0;
   @   var w = document.getElementById(id);
   @   if( w.style.color==clr ){
@@ -241,28 +243,28 @@
   @   }
   @ }
   @ function xin(id) {
   @   setall("#ffffff");
-  @   setone(id,"#000000");
-  @   set_children(id, "#002000");
-  @   set_parents(id, "#200000");
+  @   setone(id,"#ff0000");
+  @   set_children(id, "#b0b0b0");
+  @   set_parents(id, "#b0b0b0");
   @   for(var x in parentof[id]){
   @     var pid = parentof[id][x]
   @     var w = document.getElementById(pid);
   @     if( w!=null ){
-  @       w.style.color = "#ff0000";
+  @       w.style.color = "#000000";
   @     }
   @   }
   @   for(var x in childof[id]){
   @     var cid = childof[id][x]
   @     var w = document.getElementById(cid);
   @     if( w!=null ){
-  @       w.style.color = "#008000";
+  @       w.style.color = "#000000";
   @     }
   @   }
   @ }
   @ function xout(id) {
-  @   setall("#000000");
+  @   /* setall("#000000"); */
   @ }
   @ function set_parents(id, clr){
   @   var plist = parentof[id];
   @   if( plist==null ) return;