[gimp/gimp-2-10] themes: Add white border around dark theme GtkToggleButtons...

[Stanislav Grinkov <sgrinkov src gnome org>]

commit 3d102d0c9e94250aa55b0d5111df192943fa118f
Author: Stanislav Grinkov <43956-stanislavgrinkov users noreply gitlab gnome org>
Date:   Tue Aug 31 22:11:11 2021 +0600

    themes: Add white border around dark theme GtkToggleButtons...
    
    to improve accessibility by having visible feedback on mouse-hover.
    Default prelight background was too dark for such task.
    
    Resolves: #4128

 themes/Dark/gtkrc                                    |  10 ++++++++++
 themes/Dark/ui/gimp-button-prelight-white-border.png | Bin 0 -> 5333 bytes
 2 files changed, 10 insertions(+)
---
diff --git a/themes/Dark/gtkrc b/themes/Dark/gtkrc
index fa86c4a0ea..4970e79ebe 100644
--- a/themes/Dark/gtkrc
+++ b/themes/Dark/gtkrc
@@ -1319,6 +1319,16 @@ style "gimp-dark-radio-button" = "gimp-dark-default-style"
 {
   engine "pixmap"
     {
+      image
+        {
+          function = BOX
+          state = PRELIGHT
+          recolorable = TRUE
+          file = "ui/gimp-button-prelight-white-border.png"
+          border = { 8, 8, 8, 8}
+          stretch = TRUE
+        }
+
       image
         {
           function = OPTION
diff --git a/themes/Dark/ui/gimp-button-prelight-white-border.png 
b/themes/Dark/ui/gimp-button-prelight-white-border.png
new file mode 100644
index 0000000000..624f6c5a04
Binary files /dev/null and b/themes/Dark/ui/gimp-button-prelight-white-border.png differ