[gtk+/gtk-3-22] Fix tiny fonts in win32 theme
- From: Benjamin Otte <otte src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk+/gtk-3-22] Fix tiny fonts in win32 theme
- Date: Thu, 20 Oct 2016 14:57:42 +0000 (UTC)
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]