Fossil SCM

Fix anti-aliased arrowheads to be the correct color when using a dark background with a light foreground.

drh 2015-03-17 14:41 trunk merge
Commit b1508e7a8ad5b07deab94ae4c343e528b4473126
1 file changed +7 -8
+7 -8
--- src/timeline.c
+++ src/timeline.c
@@ -752,25 +752,25 @@
752752
@ }while( obj = obj.offsetParent );
753753
@ }
754754
@ return left;
755755
@ }
756756
@ function drawUpArrow(x,y0,y1){
757
- @ drawBox(lineClr,x,y0+5,x+1,y1);
757
+ @ drawBox(lineClr,x,y0+4,x+1,y1);
758758
@ var n = document.createElement("div"),
759759
@ l = x-2,
760760
@ t = y0;
761761
@ n.style.position = "absolute";
762762
@ n.style.left = l+"px";
763763
@ n.style.top = t+"px";
764764
@ n.style.width = 0;
765765
@ n.style.height = 0;
766
+ @ n.style.transform = "scale(.999)";
766767
@ n.style.borderWidth = 0;
767768
@ n.style.borderStyle = "solid";
768769
@ n.style.borderColor = "transparent";
769770
@ n.style.borderRightWidth = "3px";
770
- @ n.style.borderBottomColor = "#000";
771
- @ n.style.borderBottomStyle = "outset";
771
+ @ n.style.borderBottomColor = lineClr;
772772
@ n.style.borderLeftWidth = "3px";
773773
@ if( y0+10>=y1 ){
774774
@ n.style.borderBottomWidth = "5px";
775775
@ } else {
776776
@ n.style.borderBottomWidth = "7px";
@@ -782,27 +782,26 @@
782782
@ t = y-2;
783783
@ n.style.position = "absolute";
784784
@ n.style.top = t+"px";
785785
@ n.style.width = 0;
786786
@ n.style.height = "1px";
787
+ @ n.style.transform = "scale(.999)";
787788
@ n.style.borderWidth = 0;
788789
@ n.style.borderStyle = "solid";
789790
@ n.style.borderColor = "transparent";
790791
@ n.style.borderTopWidth = "2px";
791792
@ n.style.borderBottomWidth = "2px";
792793
@ if( xFrom<xTo ){
793794
@ drawBox(lineClr,xFrom,y,xTo-3,y);
794795
@ n.style.left = xTo-3+"px";
795
- @ n.style.borderLeftStyle = "inset";
796796
@ n.style.borderLeftWidth = "3px";
797
- @ n.style.borderLeftColor = "#000";
797
+ @ n.style.borderLeftColor = lineClr;
798798
@ }else{
799799
@ drawBox(lineClr,xTo+3,y,xFrom,y);
800800
@ n.style.left = xTo+1+"px";
801
- @ n.style.borderRightStyle = "outset";
802801
@ n.style.borderRightWidth = "3px";
803
- @ n.style.borderRightColor = "#000";
802
+ @ n.style.borderRightColor = lineClr;
804803
@ }
805804
@ cDiv.appendChild(n);
806805
@ }
807806
@ function drawThinLine(x0,y0,x1,y1){
808807
@ drawBox(lineClr,x0,y0,x1,y1);
@@ -851,16 +850,16 @@
851850
@ n.style.position = "absolute";
852851
@ n.style.top = t+"px";
853852
@ n.style.left = l+"px";
854853
@ n.style.width = 0;
855854
@ n.style.height = 0;
855
+ @ n.style.transform = "scale(.999)";
856856
@ n.style.borderWidth = 0;
857857
@ n.style.borderStyle = "solid";
858858
@ n.style.borderColor = "transparent";
859859
@ n.style.borderTopWidth = "3px";
860860
@ n.style.borderBottomWidth = "3px";
861
- @ n.style.borderLeftStyle = "inset";
862861
@ n.style.borderLeftWidth = "7px";
863862
@ n.style.borderLeftColor = "#600000";
864863
@ cDiv.appendChild(n);
865864
@ }
866865
@ }
867866
--- src/timeline.c
+++ src/timeline.c
@@ -752,25 +752,25 @@
752 @ }while( obj = obj.offsetParent );
753 @ }
754 @ return left;
755 @ }
756 @ function drawUpArrow(x,y0,y1){
757 @ drawBox(lineClr,x,y0+5,x+1,y1);
758 @ var n = document.createElement("div"),
759 @ l = x-2,
760 @ t = y0;
761 @ n.style.position = "absolute";
762 @ n.style.left = l+"px";
763 @ n.style.top = t+"px";
764 @ n.style.width = 0;
765 @ n.style.height = 0;
 
766 @ n.style.borderWidth = 0;
767 @ n.style.borderStyle = "solid";
768 @ n.style.borderColor = "transparent";
769 @ n.style.borderRightWidth = "3px";
770 @ n.style.borderBottomColor = "#000";
771 @ n.style.borderBottomStyle = "outset";
772 @ n.style.borderLeftWidth = "3px";
773 @ if( y0+10>=y1 ){
774 @ n.style.borderBottomWidth = "5px";
775 @ } else {
776 @ n.style.borderBottomWidth = "7px";
@@ -782,27 +782,26 @@
782 @ t = y-2;
783 @ n.style.position = "absolute";
784 @ n.style.top = t+"px";
785 @ n.style.width = 0;
786 @ n.style.height = "1px";
 
787 @ n.style.borderWidth = 0;
788 @ n.style.borderStyle = "solid";
789 @ n.style.borderColor = "transparent";
790 @ n.style.borderTopWidth = "2px";
791 @ n.style.borderBottomWidth = "2px";
792 @ if( xFrom<xTo ){
793 @ drawBox(lineClr,xFrom,y,xTo-3,y);
794 @ n.style.left = xTo-3+"px";
795 @ n.style.borderLeftStyle = "inset";
796 @ n.style.borderLeftWidth = "3px";
797 @ n.style.borderLeftColor = "#000";
798 @ }else{
799 @ drawBox(lineClr,xTo+3,y,xFrom,y);
800 @ n.style.left = xTo+1+"px";
801 @ n.style.borderRightStyle = "outset";
802 @ n.style.borderRightWidth = "3px";
803 @ n.style.borderRightColor = "#000";
804 @ }
805 @ cDiv.appendChild(n);
806 @ }
807 @ function drawThinLine(x0,y0,x1,y1){
808 @ drawBox(lineClr,x0,y0,x1,y1);
@@ -851,16 +850,16 @@
851 @ n.style.position = "absolute";
852 @ n.style.top = t+"px";
853 @ n.style.left = l+"px";
854 @ n.style.width = 0;
855 @ n.style.height = 0;
 
856 @ n.style.borderWidth = 0;
857 @ n.style.borderStyle = "solid";
858 @ n.style.borderColor = "transparent";
859 @ n.style.borderTopWidth = "3px";
860 @ n.style.borderBottomWidth = "3px";
861 @ n.style.borderLeftStyle = "inset";
862 @ n.style.borderLeftWidth = "7px";
863 @ n.style.borderLeftColor = "#600000";
864 @ cDiv.appendChild(n);
865 @ }
866 @ }
867
--- src/timeline.c
+++ src/timeline.c
@@ -752,25 +752,25 @@
752 @ }while( obj = obj.offsetParent );
753 @ }
754 @ return left;
755 @ }
756 @ function drawUpArrow(x,y0,y1){
757 @ drawBox(lineClr,x,y0+4,x+1,y1);
758 @ var n = document.createElement("div"),
759 @ l = x-2,
760 @ t = y0;
761 @ n.style.position = "absolute";
762 @ n.style.left = l+"px";
763 @ n.style.top = t+"px";
764 @ n.style.width = 0;
765 @ n.style.height = 0;
766 @ n.style.transform = "scale(.999)";
767 @ n.style.borderWidth = 0;
768 @ n.style.borderStyle = "solid";
769 @ n.style.borderColor = "transparent";
770 @ n.style.borderRightWidth = "3px";
771 @ n.style.borderBottomColor = lineClr;
 
772 @ n.style.borderLeftWidth = "3px";
773 @ if( y0+10>=y1 ){
774 @ n.style.borderBottomWidth = "5px";
775 @ } else {
776 @ n.style.borderBottomWidth = "7px";
@@ -782,27 +782,26 @@
782 @ t = y-2;
783 @ n.style.position = "absolute";
784 @ n.style.top = t+"px";
785 @ n.style.width = 0;
786 @ n.style.height = "1px";
787 @ n.style.transform = "scale(.999)";
788 @ n.style.borderWidth = 0;
789 @ n.style.borderStyle = "solid";
790 @ n.style.borderColor = "transparent";
791 @ n.style.borderTopWidth = "2px";
792 @ n.style.borderBottomWidth = "2px";
793 @ if( xFrom<xTo ){
794 @ drawBox(lineClr,xFrom,y,xTo-3,y);
795 @ n.style.left = xTo-3+"px";
 
796 @ n.style.borderLeftWidth = "3px";
797 @ n.style.borderLeftColor = lineClr;
798 @ }else{
799 @ drawBox(lineClr,xTo+3,y,xFrom,y);
800 @ n.style.left = xTo+1+"px";
 
801 @ n.style.borderRightWidth = "3px";
802 @ n.style.borderRightColor = lineClr;
803 @ }
804 @ cDiv.appendChild(n);
805 @ }
806 @ function drawThinLine(x0,y0,x1,y1){
807 @ drawBox(lineClr,x0,y0,x1,y1);
@@ -851,16 +850,16 @@
850 @ n.style.position = "absolute";
851 @ n.style.top = t+"px";
852 @ n.style.left = l+"px";
853 @ n.style.width = 0;
854 @ n.style.height = 0;
855 @ n.style.transform = "scale(.999)";
856 @ n.style.borderWidth = 0;
857 @ n.style.borderStyle = "solid";
858 @ n.style.borderColor = "transparent";
859 @ n.style.borderTopWidth = "3px";
860 @ n.style.borderBottomWidth = "3px";
 
861 @ n.style.borderLeftWidth = "7px";
862 @ n.style.borderLeftColor = "#600000";
863 @ cDiv.appendChild(n);
864 @ }
865 @ }
866

Keyboard Shortcuts

Open search /
Next entry (timeline) j
Previous entry (timeline) k
Open focused entry Enter
Show this help ?
Toggle theme Top nav button