[gnome-maps] css: Remove deprecated style properties
- From: Marcus Lundblad <mlundblad src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-maps] css: Remove deprecated style properties
- Date: Thu, 9 Nov 2017 21:14:26 +0000 (UTC)
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]