[gimp] themes: add new style "gimp-python-console" for all themes.

[Jehan Pagès <jehanp src gnome org>]

commit a7677c865f8acda7ba37d522562eb361d2202d34
Author: Jehan <jehan girinstud io>
Date:   Tue Jan 9 18:20:23 2018 +0100

    themes: add new style "gimp-python-console" for all themes.
    
    I mostly copy-pasted from Dark and Light theme which already had this
    style set since previous commit. If anyone wants to finetune colors, be
    my guest!

 themes/Darker/gtkrc  |    8 ++++++++
 themes/Gray/gtkrc    |    8 ++++++++
 themes/Lighter/gtkrc |    8 ++++++++
 themes/System/gtkrc  |    8 ++++++++
 4 files changed, 32 insertions(+), 0 deletions(-)
---
diff --git a/themes/Darker/gtkrc b/themes/Darker/gtkrc
index 3ab2661..bf0a3ab 100644
--- a/themes/Darker/gtkrc
+++ b/themes/Darker/gtkrc
@@ -2501,4 +2501,12 @@ widget "GtkMenuItem" style "ubuntu-fix-menu-item"
 
 ###########################################################
 
+style "dark-python-console"
+{
+  text[SELECTED] = "#8f8"
+  text[INSENSITIVE] = "#f88"
+}
+
+widget "python-fu-console" style "dark-python-console"
+
 # EOF
diff --git a/themes/Gray/gtkrc b/themes/Gray/gtkrc
index 5c1faf4..5085f97 100644
--- a/themes/Gray/gtkrc
+++ b/themes/Gray/gtkrc
@@ -2512,4 +2512,12 @@ widget "GtkMenuItem" style "ubuntu-fix-menu-item"
 
 ###########################################################
 
+style "gray-python-console"
+{
+  text[SELECTED] = "#080"
+  text[INSENSITIVE] = "#800"
+}
+
+widget "python-fu-console" style "gray-python-console"
+
 # EOF
diff --git a/themes/Lighter/gtkrc b/themes/Lighter/gtkrc
index b5e7eb9..0841f39 100644
--- a/themes/Lighter/gtkrc
+++ b/themes/Lighter/gtkrc
@@ -2518,4 +2518,12 @@ widget "GtkMenuItem" style "ubuntu-fix-menu-item"
 
 ###########################################################
 
+style "light-python-console"
+{
+  text[SELECTED] = "#080"
+  text[INSENSITIVE] = "#800"
+}
+
+widget "python-fu-console" style "light-python-console"
+
 # EOF
diff --git a/themes/System/gtkrc b/themes/System/gtkrc
index 3da549e..1bc7497 100644
--- a/themes/System/gtkrc
+++ b/themes/System/gtkrc
@@ -105,3 +105,11 @@ style "gimp-display-style" = "gimp-default-style"
 }
 
 widget "*GimpDisplayShell.*" style "gimp-display-style"
+
+style "gimp-python-console"
+{
+  text[SELECTED] = "#080"
+  text[INSENSITIVE] = "#800"
+}
+
+widget "python-fu-console" style "gimp-python-console"