File dark-theme-fix.patch of Package gimp

diff -ur a/themes/Dark/gtkrc b/themes/Dark/gtkrc
--- a/themes/Dark/gtkrc	2018-11-08 16:58:41.000000000 +0300
+++ b/themes/Dark/gtkrc	2019-02-06 14:00:38.969151113 +0300
@@ -164,6 +164,7 @@
   GtkScrollbar::has-backward-stepper = 0
   GtkScrollbar::has-forward-stepper = 0
   GtkScrollbar::min-slider-length = 32
+  GtkScrollbar::slider-width = 7
   GtkScrolledWindow::scrollbar-spacing = 0
   GtkScrolledWindow::scrollbars-within-bevel = 0
 
@@ -2061,6 +2062,97 @@
 
 ###########################################################
 
+style "gimp-dark-toolbuttons"
+{
+#  xthickness                = 2
+#    ythickness                = 2
+#    GtkWidget::focus_padding  = 2
+
+    engine "pixmap" {
+
+image
+        {
+            function = BOX
+            state = NORMAL
+            file                    = "ui/gimp-button-normal.png"
+            border                  = { 4, 4, 4, 4 }
+            stretch                 = TRUE
+        }
+image
+        {
+            function                = BOX
+            state                       = PRELIGHT
+            file                    = "ui/gimp-button-prelight.png"
+            border                  = { 4, 4, 4, 4 }
+            stretch                 = TRUE
+        }
+image
+        {
+            function                = BOX
+            state                       = ACTIVE
+            file                    = "ui/gimp-button-pressed.png"
+            border                  = { 4, 4, 4, 4 }
+            stretch                 = TRUE
+        }
+image
+        {
+            function                = BOX
+            state                       = INSENSITIVE
+            file                    = "ui/gimp-button-insensitive.png"
+            border                  = { 4, 4, 4, 4 }
+            stretch                 = TRUE
+        }
+    }
+}
+
+widget_class "*Tool*GtkButton"                              style "gimp-dark-toolbuttons"
+#class "GtkToolButton" style "gimp-dark-toolbuttons"
+###########################################################
+
+style "gimp-dark-tooltoggle_buttons"
+{
+    engine "pixmap"
+    {
+    image
+        {
+            function      = BOX
+            state                 = NORMAL
+            file          = "ui/gimp-button-normal.png"
+            border        = { 4, 4, 4, 4 }
+            stretch       = TRUE
+        }
+  image
+        {
+            function      = BOX
+            state                 = PRELIGHT
+            file          = "ui/gimp-button-prelight.png"
+            border        = { 4, 4, 4, 4 }
+            stretch       = TRUE
+        }
+  image
+        {
+            function            = BOX
+            state                 = ACTIVE
+            file                  = "ui/gimp-button-pressed.png"
+            border              = { 4, 4, 4, 4}
+            stretch             = TRUE
+        }
+  image
+        {
+            function      = BOX
+            state                 = INSENSITIVE
+            file          = "ui/gimp-button-insensitive.png"
+            border        = { 4, 4, 4, 4 }
+            stretch       = TRUE
+        }
+    }
+}
+
+widget_class "*Tool*GtkToggleButton" style "gimp-dark-tooltoggle_buttons"
+#widget_class "*<GtkToggleToolButtton>*" style "gimp-dark-tooltoggle_buttons"
+class "GtkToggleButton" style "gimp-dark-tooltoggle_buttons"
+###########################################################
+
 style "gimp-dark-combobox-separator-style"
 {
   xthickness = 0
@@ -2076,6 +2168,55 @@
 {
   xthickness = 3
   ythickness = 3
+
+  engine "pixmap"
+    {
+      image
+        {
+          function = BOX
+          detail = "buttondefault"
+          recolorable = TRUE
+          file = "ui/gimp-button-default.png"
+          border = { 8, 8, 8, 8 }
+          stretch = TRUE
+        }
+
+      image
+        {
+          function = BOX
+          state = PRELIGHT
+          recolorable = TRUE
+          file = "ui/gimp-button-prelight.png"
+          border = { 8, 8, 8, 8}
+          stretch = TRUE
+        }
+
+      image
+        {
+          function = BOX
+          state = ACTIVE
+          file = "ui/gimp-button-pressed.png"
+          border = { 8, 8, 8, 8 }
+          stretch = TRUE
+        }
+
+       image
+        {
+          function = BOX
+          state = INSENSITIVE
+          file = "ui/gimp-button-insensitive.png"
+          border = { 8, 8, 8, 8  }
+          stretch = TRUE
+        }
+
+       image
+        {
+          function = BOX
+          file = "ui/gimp-button-normal.png"
+          border = { 8, 8, 8, 8 }
+          stretch = TRUE
+        }
+    }
 }
 
 widget_class "*<GtkComboBox>*<GtkButton>" style "gimp-dark-combobox-button-style"