From aefed533b69b03dc1497b8a634ac81262fac0dc1 Mon Sep 17 00:00:00 2001 From: cazfi Date: Tue, 2 May 2017 12:38:36 +0000 Subject: [PATCH] Drop deprecated GtkMenuBar-internal-padding from the gtk3.22-client theme See hrm Feature #656560 git-svn-id: svn://svn.gna.org/svn/freeciv/branches/S2_6@35368 a0f10bec-cc02-0410-94fc-a9cfff90b4cd --- data/themes/gui-gtk-3.22/Freeciv/gtk-3.0/gtk.css | 1 - 1 file changed, 1 deletion(-) diff --git a/data/themes/gui-gtk-3.22/Freeciv/gtk-3.0/gtk.css b/data/themes/gui-gtk-3.22/Freeciv/gtk-3.0/gtk.css index 0efb1dfba4..2b46c6de61 100644 --- a/data/themes/gui-gtk-3.22/Freeciv/gtk-3.0/gtk.css +++ b/data/themes/gui-gtk-3.22/Freeciv/gtk-3.0/gtk.css @@ -16,7 +16,6 @@ -GtkCheckButton-min-width: 12; -GtkCheckButton-min-height: 12; -GtkCheckButton-margin: 3; - -GtkMenuBar-internal-padding: 1; -GtkStatusbar-text-shadow: none; -GtkSpinButton-text-shadow: none; -- 2.11.4.GIT