From 5c6e967b1faf37396ec87bc6a8993dd6666d6187 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=A0=D1=83=D1=81=D0=BB=D0=B0=D0=BD=20=D0=98=D0=B6=D0=B1?= =?UTF-8?q?=D1=83=D0=BB=D0=B0=D1=82=D0=BE=D0=B2?= Date: Thu, 10 Apr 2014 15:33:41 +0000 Subject: [PATCH] W32: remove border on default buttons https://bugzilla.gnome.org/show_bug.cgi?id=727973 --- gtk/resources/theme/gtk-win32-base.css | 1 + 1 file changed, 1 insertion(+) diff --git a/gtk/resources/theme/gtk-win32-base.css b/gtk/resources/theme/gtk-win32-base.css index 82ce94a5a2..80355f6dc5 100644 --- a/gtk/resources/theme/gtk-win32-base.css +++ b/gtk/resources/theme/gtk-win32-base.css @@ -129,6 +129,7 @@ GtkAssistant .sidebar .highlight { -GtkWidget-focus-line-width: 1; -GtkWidget-focus-padding: 3; -GtkButton-interior-focus: true; + -GtkButton-default-border: 0px; padding: 3px; }