[pan: 6/15] Add back in menu icons and stop scroll bars disappearing




commit aaa0cc6b1a303eef491b6b011c21895c8c4d4355
Author: Thomas Tanner <thosrtanner googlemail com>
Date:   Sat May 7 17:25:33 2022 +0100

    Add back in menu icons and stop scroll bars disappearing

 wininstall.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)
---
diff --git a/wininstall.py b/wininstall.py
index a49d1bf..708c948 100644
--- a/wininstall.py
+++ b/wininstall.py
@@ -464,7 +464,13 @@ def main():
                     os.path.join(target_dir, 'etc', 'gtk-3.0', 'settings.ini'),
                     'w'
                 ) as settings:
-                    print("[Settings]\ngtk-theme-name=win32\n", file=settings)
+                    print("""
+[Settings]
+gtk-theme-name=win32
+
+gtk-menu-images = true
+gtk-overlay-scrolling = false
+""", file=settings)
 
             elif package == "graphite2":
                 copier.copy_package(package, exclude=f"share/{package}")


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]