[pan: 4/15] Create a settings file for gtk3.

[Dominique Dumont <ddumont src gnome org>]

commit 455545c0f17571278ef5d2c6fe16fdbe2d51556b
Author: Thomas Tanner <thosrtanner googlemail com>
Date:   Fri May 6 08:39:20 2022 +0100

    Create a settings file for gtk3.
    
    It looks slightly more windowsy but still not great

 wininstall.py | 7 +++++++
 1 file changed, 7 insertions(+)
---
diff --git a/wininstall.py b/wininstall.py
index 79eda56..a49d1bf 100644
--- a/wininstall.py
+++ b/wininstall.py
@@ -459,6 +459,13 @@ def main():
             elif package == "gtk3":
                 copier.copy_package(package, library="gtk-3.0")
                 copier.copy_package("adwaita-icon-theme")
+
+                with open(
+                    os.path.join(target_dir, 'etc', 'gtk-3.0', 'settings.ini'),
+                    'w'
+                ) as settings:
+                    print("[Settings]\ngtk-theme-name=win32\n", file=settings)
+
             elif package == "graphite2":
                 copier.copy_package(package, exclude=f"share/{package}")
             elif package == "icu":