Ticket #4357: add-border.patch

File add-border.patch, 819 bytes (added by manuq, 11 years ago)

Patch - add border to scrollbar slider.

  • gtk3/theme/gtk-widgets.css.em 

    diff --git a/gtk3/theme/gtk-widgets.css.em b/gtk3/theme/gtk-widgets.css.em
index 916e764..9fba8bc 100644
    a b SugarPaletteHeaderSeparator.menuitem.separator { 
    503503/* Scrollbars */
    504504
    505505.scrollbar {
    506     -GtkRange-slider-width: $subcell_size;
     506    -GtkRange-slider-width: $(subcell_size + 2*thickness);
    507507    -GtkRange-trough-border: 0;
    508508    -GtkRange-stepper-size: 0;
    509509    -GtkScrollbar-min-slider-length: $(3*subcell_size);
    … … SugarPaletteHeaderSeparator.menuitem.separator { 
    521521.scrollbar.slider {
    522522    background-color: @white;
    523523    border-radius: $(2*subcell_size)px;
    524     border-width: 0px;
     524    border-width: $(thickness)px;
     525    border-color: @button_grey;
     526    border-style: solid;
    525527}
    526528
    527529.scrollbar.slider:active {