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"
