win32 theme: Fix scrollbars

The fix is only partial, when both scrollbars are visible their ends
overlap.

https://bugzilla.gnome.org/show_bug.cgi?id=773221
This commit is contained in:
Jaime Velasco Juan 2016-10-13 12:38:05 +01:00 committed by Benjamin Otte
parent ea9b992351
commit ed980824c4

View File

@ -278,35 +278,19 @@ button {
button.default { button.default {
background-image: -gtk-win32-theme-part(button, 1, 5); background-image: -gtk-win32-theme-part(button, 1, 5);
padding-top: calc(1px + -gtk-win32-part-border-top(button, 1, 5));
padding-right: calc(1px + -gtk-win32-part-border-right(button, 1, 5));
padding-bottom: calc(1px + -gtk-win32-part-border-bottom(button, 1, 5));
padding-left: calc(1px + -gtk-win32-part-border-left(button, 1, 5));
} }
button:hover { button:hover {
background-image: -gtk-win32-theme-part(button, 1, 2); background-image: -gtk-win32-theme-part(button, 1, 2);
padding-top: calc(1px + -gtk-win32-part-border-top(button, 1, 2));
padding-right: calc(1px + -gtk-win32-part-border-right(button, 1, 2));
padding-bottom: calc(1px + -gtk-win32-part-border-bottom(button, 1, 2));
padding-left: calc(1px + -gtk-win32-part-border-left(button, 1, 2));
} }
button:active, button:checked { button:active, button:checked {
background-image: -gtk-win32-theme-part(button, 1, 3); background-image: -gtk-win32-theme-part(button, 1, 3);
padding-top: calc(1px + -gtk-win32-part-border-top(button, 1, 3));
padding-right: calc(1px + -gtk-win32-part-border-right(button, 1, 3));
padding-bottom: calc(1px + -gtk-win32-part-border-bottom(button, 1, 3));
padding-left: calc(1px + -gtk-win32-part-border-left(button, 1, 3));
} }
/* XXX: Figure out how to handle disabled active togglebuttons */ /* XXX: Figure out how to handle disabled active togglebuttons */
button:disabled { button:disabled {
background-image: -gtk-win32-theme-part(button, 1, 4); background-image: -gtk-win32-theme-part(button, 1, 4);
padding-top: calc(1px + -gtk-win32-part-border-top(button, 1, 4));
padding-right: calc(1px + -gtk-win32-part-border-right(button, 1, 4));
padding-bottom: calc(1px + -gtk-win32-part-border-bottom(button, 1, 4));
padding-left: calc(1px + -gtk-win32-part-border-left(button, 1, 4));
} }
/* checkbuttons */ /* checkbuttons */
@ -547,85 +531,93 @@ notebook > header > tabs > tab:only-child:checked {
scrollbar { scrollbar {
background-color: transparent; background-color: transparent;
-GtkRange-arrow-scaling: 0.0;
-GtkRange-slider-width: -gtk-win32-size(scrollbar, cyhscroll);
} }
scrollbar.vertical { scrollbar.horizontal button {
-GtkRange-slider-width: -gtk-win32-size(scrollbar, cxvscroll); min-width : -gtk-win32-size(scrollbar, cxhscroll);
min-height : -gtk-win32-size(scrollbar, cyhscroll);
}
scrollbar.vertical button {
min-width : -gtk-win32-size(scrollbar, cxvscroll);
min-height : -gtk-win32-size(scrollbar, cyvscroll);
}
scrollbar button, scrollbar button:disabled {
color: transparent;
margin: 0;
padding: 0;
} }
scrollbar button.bottom { /* up button */
background-image: -gtk-win32-theme-part(scrollbar, 1, 5); scrollbar.vertical button.up {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 1);
}
scrollbar.vertical:hover button.up {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 17);
}
scrollbar.vertical:hover button.up:hover {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 2);
}
scrollbar.vertical:hover button.up:active {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 3);
}
scrollbar.vertical:hover button.up:disabled {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 4);
} }
scrollbar button.bottom:hover { /* down button */
background-image: -gtk-win32-theme-part(scrollbar, 1, 6); scrollbar.vertical button.down {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 5);
}
scrollbar.vertical:hover button.down {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 18);
}
scrollbar.vertical:hover button.down:hover {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 6);
}
scrollbar.vertical:hover button.down:active {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 7);
}
scrollbar.vertical:hover button.down:disabled {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 8);
} }
scrollbar button.bottom:active, /* left button */
scrollbar button.bottom:active:hover { scrollbar.horizontal button.up {
background-image: -gtk-win32-theme-part(scrollbar, 1, 7); background-image: -gtk-win32-theme-part(scrollbar, 1 , 9);
}
scrollbar.horizontal:hover button.up {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 19);
}
scrollbar.horizontal:hover button.up:hover {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 10);
}
scrollbar.horizontal:hover button.up:active {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 11);
}
scrollbar.horizontal:hover button.up:disabled {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 12);
} }
scrollbar button.bottom:disabled { /* right button */
background-image: -gtk-win32-theme-part(scrollbar, 1, 8); scrollbar.horizontal button.down {
background-image: -gtk-win32-theme-part(scrollbar, 1 , 13);
} }
scrollbar.horizontal:hover button.down {
scrollbar button.top { background-image: -gtk-win32-theme-part(scrollbar, 1 , 20);
background-image: -gtk-win32-theme-part(scrollbar, 1, 1);
} }
scrollbar.horizontal:hover button.down:hover {
scrollbar button.top:hover { background-image: -gtk-win32-theme-part(scrollbar, 1 , 14);
background-image: -gtk-win32-theme-part(scrollbar, 1, 2);
} }
scrollbar.horizontal:hover button.down:active {
scrollbar button.top:active, background-image: -gtk-win32-theme-part(scrollbar, 1 , 16);
scrollbar button.top:active:hover {
background-image: -gtk-win32-theme-part(scrollbar, 1, 3);
} }
scrollbar.horizontal:hover button.down:disabled {
scrollbar button.top:disabled { background-image: -gtk-win32-theme-part(scrollbar, 1 , 17);
background-image: -gtk-win32-theme-part(scrollbar, 1, 4);
}
scrollbar button.left {
background-image: -gtk-win32-theme-part(scrollbar, 1, 9);
}
scrollbar button.left:hover {
background-image: -gtk-win32-theme-part(scrollbar, 1, 10);
}
scrollbar button.left:active,
scrollbar button.left:active:hover {
background-image: -gtk-win32-theme-part(scrollbar, 1, 11);
}
scrollbar button.left:disabled {
background-image: -gtk-win32-theme-part(scrollbar, 1, 12);
}
scrollbar button.right {
background-image: -gtk-win32-theme-part(scrollbar, 1, 13);
}
scrollbar button.right:hover {
background-image: -gtk-win32-theme-part(scrollbar, 1, 14);
}
scrollbar button.right:active,
scrollbar button.right:active:hover {
background-image: -gtk-win32-theme-part(scrollbar, 1, 15);
}
scrollbar button.right:disabled {
background-image: -gtk-win32-theme-part(scrollbar, 1, 16);
} }
scrollbar trough { scrollbar trough {
border-width: 0; border-width: 0;
background-image: -gtk-win32-theme-part(scrollbar, 2, 1, over(4, 1)); background-image: -gtk-win32-theme-part(scrollbar, 6, 1);
} }
scrollbar trough.vertical { scrollbar trough.vertical {
@ -633,6 +625,16 @@ scrollbar trough.vertical {
background-image: -gtk-win32-theme-part(scrollbar, 2, 1, over(6, 1)); background-image: -gtk-win32-theme-part(scrollbar, 2, 1, over(6, 1));
} }
scrollbar.horizontal slider {
min-height: -gtk-win32-size(scrollbar, cyhscroll);
min-width: -gtk-win32-size(scrollbar, cxhthumb);
}
scrollbar.vertical slider {
min-width: -gtk-win32-size(scrollbar, cxvscroll);
min-height: -gtk-win32-size(scrollbar, cyvthumb);
}
scrollbar slider { scrollbar slider {
border-width: 0; border-width: 0;
background-image: -gtk-win32-theme-part(scrollbar, 2, 1, over(8, 1)); background-image: -gtk-win32-theme-part(scrollbar, 2, 1, over(8, 1));