From 25673ab145f3a544ceb6701020bedf2dbe1fdd73 Mon Sep 17 00:00:00 2001 From: LAGonauta Date: Sat, 9 May 2020 13:52:18 -0300 Subject: [PATCH] Use slight larger font on Windows so it matches Linux style Also fixes some fuzzy fonts. --- main/CMakeLists.txt | 1 + main/data/win32_larger_fonts.css | 3 +++ main/src/ui/application.vala | 6 ++++++ 3 files changed, 10 insertions(+) create mode 100644 main/data/win32_larger_fonts.css diff --git a/main/CMakeLists.txt b/main/CMakeLists.txt index 4891abb0..89034484 100644 --- a/main/CMakeLists.txt +++ b/main/CMakeLists.txt @@ -87,6 +87,7 @@ set(RESOURCE_LIST unified_main_content.ui unified_window_placeholder.ui + win32_larger_fonts.css theme.css ) diff --git a/main/data/win32_larger_fonts.css b/main/data/win32_larger_fonts.css new file mode 100644 index 00000000..e8983b78 --- /dev/null +++ b/main/data/win32_larger_fonts.css @@ -0,0 +1,3 @@ +* { + font-size: 1.125rem; +} \ No newline at end of file diff --git a/main/src/ui/application.vala b/main/src/ui/application.vala index 780c37fd..6d4f74ff 100644 --- a/main/src/ui/application.vala +++ b/main/src/ui/application.vala @@ -27,6 +27,12 @@ public class Dino.Ui.Application : Gtk.Application, Dino.Application { Environment.set_application_name("Dino"); Window.set_default_icon_name("im.dino.Dino"); +#if _WIN32 + CssProvider larger_fonts = new CssProvider(); + larger_fonts.load_from_resource("/im/dino/Dino/win32_larger_fonts.css"); + StyleContext.add_provider_for_screen(Gdk.Screen.get_default(), larger_fonts, STYLE_PROVIDER_PRIORITY_APPLICATION); +#endif + CssProvider provider = new CssProvider(); provider.load_from_resource("/im/dino/Dino/theme.css"); StyleContext.add_provider_for_screen(Gdk.Screen.get_default(), provider, STYLE_PROVIDER_PRIORITY_APPLICATION);