diff options
| author | Manuel Quiñones <manuq@laptop.org> | 2013-02-05 19:59:58 (GMT) |
|---|---|---|
| committer | Manuel Quiñones <manuq@laptop.org> | 2013-02-05 19:59:58 (GMT) |
| commit | da02b19f8226f124e1ad15f8aaf01789fba027c7 (patch) | |
| tree | 65d9e4db930e3e724a92bcde9bc7921746aa85c6 | |
| parent | e9997ca467430b0c1c6f16474d2db80c9bb95dc5 (diff) | |
Remove unused rule as GtkButton:inner-border has been deprecated
See documentation:
http://developer.gnome.org/gtk3/stable/GtkButton.html#GtkButton--s-inner-border
Upstream bug opened by Benjamin:
https://bugzilla.gnome.org/show_bug.cgi?id=485762
Signed-off-by: Manuel Quiñones <manuq@laptop.org>
| -rw-r--r-- | gtk3/theme/gtk-widgets.css.em | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gtk3/theme/gtk-widgets.css.em b/gtk3/theme/gtk-widgets.css.em index 9fba8bc..bd5cbf4 100644 --- a/gtk3/theme/gtk-widgets.css.em +++ b/gtk3/theme/gtk-widgets.css.em @@ -151,13 +151,7 @@ GtkLabel, GtkLabel:insensitive { .button { ${ border = max(0, my_ceil((3*subcell_size/2.0 - icon_small / 2.0))) } - /* It would be nicer to just set the inner-border, but that does not work - for combo boxes ... The combobox ignores it, so set it to 0px - See http://bugzilla.gnome.org/show_bug.cgi?id=485762 */ - - -GtkButton-inner-border: 0 0 0 0; padding: $(border)px $(border)px $(border)px $(border)px; - border-width: $(thickness)px; border-color: @button_grey; border-style: solid; |