callisto-debian/gtk3
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

themes: Optimize code for marks margins on scales

Browse Source 
Separate marks margins for horizontal/vertical scales. Prevents
generation of unused margins.

Closes https://gitlab.gnome.org/GNOME/gtk/issues/1703
This commit is contained in:
Alex Monday
2019-03-02 14:08:11 +05:00
parent 95e2e48582
commit deba92f729
6 changed files with 53 additions and 70 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
gtk/theme/HighContrast/gtk-contained.css
View File

@ -1086,25 +1086,23 @@ row:selected scale slider, row:selected scale slider:disabled { border-color: #0
.osd scale slider:backdrop:disabled { border-width: 2px; border-style: solid; }
scale value { color: alpha(currentColor,0.4); }
scale marks, scale value { color: alpha(currentColor,0.4); }
scale marks { color: alpha(currentColor,0.4); }
scale.horizontal marks.top { margin-bottom: 6px; margin-top: -12px; }
scale marks.top { margin-bottom: 6px; margin-top: -12px; }
scale.horizontal.fine-tune marks.top { margin-bottom: 6px; margin-top: -9px; }
scale marks.bottom { margin-top: 6px; margin-bottom: -12px; }
scale.horizontal marks.bottom { margin-top: 6px; margin-bottom: -12px; }
scale marks.top { margin-right: 6px; margin-left: -12px; }
scale.horizontal.fine-tune marks.bottom { margin-top: 6px; margin-bottom: -9px; }
scale marks.bottom { margin-left: 6px; margin-right: -12px; }
scale.vertical marks.top { margin-right: 6px; margin-left: -12px; }
scale.fine-tune marks.top { margin-bottom: 6px; margin-top: -9px; }
scale.vertical.fine-tune marks.top { margin-right: 6px; margin-left: -9px; }
scale.fine-tune marks.bottom { margin-top: 6px; margin-bottom: -9px; }
scale.vertical marks.bottom { margin-left: 6px; margin-right: -12px; }
scale.fine-tune marks.top { margin-right: 6px; margin-left: -9px; }
scale.fine-tune marks.bottom { margin-left: 6px; margin-right: -9px; }
scale.vertical.fine-tune marks.bottom { margin-left: 6px; margin-right: -9px; }
scale.horizontal indicator { min-height: 6px; min-width: 1px; }