Use slight larger font on Windows so it matches Linux style

Also fixes some fuzzy fonts.
This commit is contained in:
LAGonauta 2020-05-09 13:52:18 -03:00
parent 8cb15fc325
commit 25673ab145
3 changed files with 10 additions and 0 deletions

View file

@ -87,6 +87,7 @@ set(RESOURCE_LIST
unified_main_content.ui
unified_window_placeholder.ui
win32_larger_fonts.css
theme.css
)

View file

@ -0,0 +1,3 @@
* {
font-size: 1.125rem;
}

View file

@ -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);