[gnome-maps] css: Remove deprecated style properties



commit dfef51615adc1f6e9d1e08b2f23eeb19e781d30d
Author: Marcus Lundblad <ml update uu se>
Date:   Thu Nov 9 22:11:30 2017 +0100

    css: Remove deprecated style properties
    
    These style properties are deprecated and it seems they
    are not really needed (the widget positioning looks the
    same without them).
    
    https://bugzilla.gnome.org/show_bug.cgi?id=777407

 data/gnome-maps.css |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/data/gnome-maps.css b/data/gnome-maps.css
index bde40bf..54beb2c 100644
--- a/data/gnome-maps.css
+++ b/data/gnome-maps.css
@@ -11,8 +11,6 @@
     padding: 0;
     border: 1px solid @insensitive_borders;
     outline-width: 1px;
-    -GtkButton-image-spacing: 0;
-    -GtkButton-interior-focus: true;
 }
 
 .layer-radio-button:checked {


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]