gtk 3.20: Menu and paned fix. (#311)

* * Menu and paned fix.

* * popover menu transition fix.

* * popover and menuitem separator fix.

* * Re-enabled code.

* * Menu list (gedit) fix style. Other fix.

* * Text warning fix.

* * Text warning fix. Space fix...
This commit is contained in:
Csaba Jakosa
2016-04-10 07:32:37 -05:00
committed by Dustin Falgout
parent a7fcd6b7b5
commit 06ae107d92
3 changed files with 202 additions and 126 deletions
+64 -26
View File
@@ -86,32 +86,70 @@
@include exports("paned") {
paned {
-GtkPaned-handle-size: 1;
-gtk-icon-source: none;
> separator {
min-width: 1px;
min-height: 1px;
-gtk-icon-source: none; // defeats the ugly default handle decoration
border-style: none; // just to be sure
background-color: transparent;
// workaround, using background istead of a border since the border will get rendered twice (?)
background-image: image(shade($bg_color, .9));
background-size: 1px 1px;
margin: 0 $spacing;
&:selected { background-image: image($selected_bg_color); } // FIXME is this needed?
&:backdrop { background-image: image($backdrop_borders_color); }
&.wide {
min-width: 5px;
min-height: 5px;
background-color: $bg_color;
background-image: image(border_normal($bg_color)), image(border_normal($bg_color));
background-size: 1px 1px, 1px 1px;
&:backdrop {
background-color: $backdrop_bg_color;
background-image: image($backdrop_borders_color),
image($backdrop_borders_color);
}
}
}
&.horizontal > separator {
background-repeat: repeat-y;
&:dir(ltr) {
margin: 0 -8px 0 0;
padding: 0 8px 0 0;
background-position: left;
}
&:dir(rtl) {
margin: 0 0 0 -8px;
padding: 0 0 0 8px;
background-position: right;
}
&.wide {
margin: 0;
padding: 0;
background-repeat: repeat-y, repeat-y;
background-position: left, right;
}
}
&.vertical > separator {
margin: 0 0 -8px 0;
padding: 0 0 8px 0;
background-repeat: repeat-x;
background-position: top;
&.wide {
margin: 0;
padding: 0;
background-repeat: repeat-x, repeat-x;
background-position: bottom, top;
}
}
}
paned:dir(rtl) {
margin-right: 0;
margin-left: $spacing;
}
paned .pane-separator { background-color: shade($bg_color, .9); }
paned.wide {
-GtkPaned-handle-size: 4;
margin: 0;
}
paned.wide .pane-separator {
background-color: transparent;
border-style: none solid;
border-color: shade($bg_color, .9);
border-width: 1px;
}
paned.wide.vertical .pane-separator { border-style: solid none; }
}