From 69795ee3767fd620186baebf8e98bd7cd37b8586 Mon Sep 17 00:00:00 2001
From: Michael Natterer <mitch@gimp.org>
Date: Thu, 10 May 2018 18:30:26 +0200
Subject: [PATCH] themes: remove deprecated style properties from
 System/gimp.css

---
 themes/System/gimp.css | 2 --
 1 file changed, 2 deletions(-)

diff --git a/themes/System/gimp.css b/themes/System/gimp.css
index 4543a026d8..9afa16ea24 100644
--- a/themes/System/gimp.css
+++ b/themes/System/gimp.css
@@ -1,7 +1,6 @@
 /* GIMP theme css file */
 
 * {
-    -GtkPaned-handle-size:             6;
     -GimpDockWindow-default-height:    300;
     -GimpMenuDock-minimal-width:       200;
     -GimpDockWindow-menu-preview-size: button;
@@ -87,7 +86,6 @@ GimpDockable {
 GimpDisplayShell {
     -GimpUnitComboBox-label-scale:  0.8333;
     -GimpScaleComboBox-label-scale: 0.8333;
-    -GtkComboBox-arrow-size:        8;
 }
 
 GimpColorFrame {