Fossil

Check-in [b1508e7a]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Fix anti-aliased arrowheads to be the correct color when using a dark background with a light foreground.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:b1508e7a8ad5b07deab94ae4c343e528b4473126
User & Date: drh 2015-03-17 14:41:18
Context
2015-03-17
14:44
Add the "dotfiles" setting. check-in: e1e0ec57 user: drh tags: trunk
14:41
Fix anti-aliased arrowheads to be the correct color when using a dark background with a light foreground. check-in: b1508e7a user: drh tags: trunk
10:45
Add fossil import --svn, for importing a subversion repository into fossil which was exported using "svnadmin dump". check-in: 6a201609 user: jan.nijtmans tags: trunk
2015-03-16
16:02
Some timeline lines were too short. Closed-Leaf check-in: c4697ad8 user: Isius tags: timelineAntialiasing
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to src/timeline.c.

750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765

766
767
768
769
770
771
772
773
774
775
776
777
778
...
780
781
782
783
784
785
786

787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
...
849
850
851
852
853
854
855

856
857
858
859
860
861
862
863
864
865
866
867
868
    @     do{
    @       left += obj.offsetLeft;
    @     }while( obj = obj.offsetParent );
    @   }
    @   return left;
    @ }
    @ function drawUpArrow(x,y0,y1){
    @   drawBox(lineClr,x,y0+5,x+1,y1);
    @   var n = document.createElement("div"),
    @       l = x-2,
    @       t = y0;
    @   n.style.position = "absolute";
    @   n.style.left = l+"px";
    @   n.style.top = t+"px";
    @   n.style.width = 0;
    @   n.style.height = 0;

    @   n.style.borderWidth = 0;
    @   n.style.borderStyle = "solid";
    @   n.style.borderColor = "transparent";
    @   n.style.borderRightWidth = "3px";
    @   n.style.borderBottomColor = "#000";
    @   n.style.borderBottomStyle = "outset";
    @   n.style.borderLeftWidth = "3px";
    @   if( y0+10>=y1 ){
    @     n.style.borderBottomWidth = "5px";
    @   } else {
    @     n.style.borderBottomWidth = "7px";
    @   }
    @   cDiv.appendChild(n);
................................................................................
    @ function drawThinArrow(y,xFrom,xTo){
    @   var n = document.createElement("div"),
    @       t = y-2;
    @   n.style.position = "absolute";
    @   n.style.top = t+"px";
    @   n.style.width = 0;
    @   n.style.height = "1px";

    @   n.style.borderWidth = 0;
    @   n.style.borderStyle = "solid";
    @   n.style.borderColor = "transparent";
    @   n.style.borderTopWidth = "2px";
    @   n.style.borderBottomWidth = "2px";
    @   if( xFrom<xTo ){
    @     drawBox(lineClr,xFrom,y,xTo-3,y);
    @     n.style.left = xTo-3+"px";
    @     n.style.borderLeftStyle = "inset";
    @     n.style.borderLeftWidth = "3px";
    @     n.style.borderLeftColor = "#000";
    @   }else{
    @     drawBox(lineClr,xTo+3,y,xFrom,y);
    @     n.style.left = xTo+1+"px";
    @     n.style.borderRightStyle = "outset";
    @     n.style.borderRightWidth = "3px";
    @     n.style.borderRightColor = "#000";
    @   }
    @   cDiv.appendChild(n);
    @ }
    @ function drawThinLine(x0,y0,x1,y1){
    @   drawBox(lineClr,x0,y0,x1,y1);
    @ }
    @ function drawNodeBox(color,x0,y0,x1,y1){
................................................................................
    @           t = u.y-2,
    @           l = u.x-11;
    @       n.style.position = "absolute";
    @       n.style.top = t+"px";
    @       n.style.left = l+"px";
    @       n.style.width = 0;
    @       n.style.height = 0;

    @       n.style.borderWidth = 0;
    @       n.style.borderStyle = "solid";
    @       n.style.borderColor = "transparent";
    @       n.style.borderTopWidth = "3px";
    @       n.style.borderBottomWidth = "3px";
    @       n.style.borderLeftStyle = "inset";
    @       n.style.borderLeftWidth = "7px";
    @       n.style.borderLeftColor = "#600000";
    @       cDiv.appendChild(n);
    @     }
    @   }
    @   for(var j in p.mi){
    @     var y0 = p.y+5;







|








>




|
<







 







>








<

|



<

|







 







>





<







750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771

772
773
774
775
776
777
778
...
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795

796
797
798
799
800

801
802
803
804
805
806
807
808
809
...
848
849
850
851
852
853
854
855
856
857
858
859
860

861
862
863
864
865
866
867
    @     do{
    @       left += obj.offsetLeft;
    @     }while( obj = obj.offsetParent );
    @   }
    @   return left;
    @ }
    @ function drawUpArrow(x,y0,y1){
    @   drawBox(lineClr,x,y0+4,x+1,y1);
    @   var n = document.createElement("div"),
    @       l = x-2,
    @       t = y0;
    @   n.style.position = "absolute";
    @   n.style.left = l+"px";
    @   n.style.top = t+"px";
    @   n.style.width = 0;
    @   n.style.height = 0;
    @   n.style.transform = "scale(.999)";
    @   n.style.borderWidth = 0;
    @   n.style.borderStyle = "solid";
    @   n.style.borderColor = "transparent";
    @   n.style.borderRightWidth = "3px";
    @   n.style.borderBottomColor = lineClr;

    @   n.style.borderLeftWidth = "3px";
    @   if( y0+10>=y1 ){
    @     n.style.borderBottomWidth = "5px";
    @   } else {
    @     n.style.borderBottomWidth = "7px";
    @   }
    @   cDiv.appendChild(n);
................................................................................
    @ function drawThinArrow(y,xFrom,xTo){
    @   var n = document.createElement("div"),
    @       t = y-2;
    @   n.style.position = "absolute";
    @   n.style.top = t+"px";
    @   n.style.width = 0;
    @   n.style.height = "1px";
    @   n.style.transform = "scale(.999)";
    @   n.style.borderWidth = 0;
    @   n.style.borderStyle = "solid";
    @   n.style.borderColor = "transparent";
    @   n.style.borderTopWidth = "2px";
    @   n.style.borderBottomWidth = "2px";
    @   if( xFrom<xTo ){
    @     drawBox(lineClr,xFrom,y,xTo-3,y);
    @     n.style.left = xTo-3+"px";

    @     n.style.borderLeftWidth = "3px";
    @     n.style.borderLeftColor = lineClr;
    @   }else{
    @     drawBox(lineClr,xTo+3,y,xFrom,y);
    @     n.style.left = xTo+1+"px";

    @     n.style.borderRightWidth = "3px";
    @     n.style.borderRightColor = lineClr;
    @   }
    @   cDiv.appendChild(n);
    @ }
    @ function drawThinLine(x0,y0,x1,y1){
    @   drawBox(lineClr,x0,y0,x1,y1);
    @ }
    @ function drawNodeBox(color,x0,y0,x1,y1){
................................................................................
    @           t = u.y-2,
    @           l = u.x-11;
    @       n.style.position = "absolute";
    @       n.style.top = t+"px";
    @       n.style.left = l+"px";
    @       n.style.width = 0;
    @       n.style.height = 0;
    @       n.style.transform = "scale(.999)";
    @       n.style.borderWidth = 0;
    @       n.style.borderStyle = "solid";
    @       n.style.borderColor = "transparent";
    @       n.style.borderTopWidth = "3px";
    @       n.style.borderBottomWidth = "3px";

    @       n.style.borderLeftWidth = "7px";
    @       n.style.borderLeftColor = "#600000";
    @       cDiv.appendChild(n);
    @     }
    @   }
    @   for(var j in p.mi){
    @     var y0 = p.y+5;