[gtk+/gtk-3-22] Fix tiny fonts in win32 theme



commit eda51b4ef5539d76e41980fe5be6f27dabe23c5f
Author: Jaime Velasco Juan <jsagarribay gmail com>
Date:   Thu Oct 13 12:26:09 2016 +0100

    Fix tiny fonts in win32 theme
    
    broken since df08fc91... (css: always get default font size in pixels)
    
    https://bugzilla.gnome.org/show_bug.cgi?id=773221

 gtk/theme/win32/gtk-win32-base.css |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gtk/theme/win32/gtk-win32-base.css b/gtk/theme/win32/gtk-win32-base.css
index c0f392c..7532e1c 100644
--- a/gtk/theme/win32/gtk-win32-base.css
+++ b/gtk/theme/win32/gtk-win32-base.css
@@ -23,7 +23,7 @@
 viewport {
     /* XXX: This should be the default, but isn't?! */
     font-family: "Segoe UI", Sans;
-    font-size: 9px;
+    font-size: 9pt;
     background-color: -gtk-win32-color(window, btnface);
     color: -gtk-win32-color(window, btntext);
 }


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