diff options
author | Victor Kareh <[email protected]> | 2019-01-22 10:54:54 -0500 |
---|---|---|
committer | lukefromdc <[email protected]> | 2019-01-31 20:00:19 +0000 |
commit | 8abba9a150e4004004609ff7a1c72a188f170d5f (patch) | |
tree | 73898365c201433d6c0325676f1440d76bf8ef06 /src/ui/theme.c | |
parent | a931b089754c0fc3e43705e9ac2137803274dced (diff) | |
download | marco-8abba9a150e4004004609ff7a1c72a188f170d5f.tar.bz2 marco-8abba9a150e4004004609ff7a1c72a188f170d5f.tar.xz |
Increase icon size on tab and workspace popups
Alt+Tab and Workspace popups should be sized relative to the monitor size.
This way they look nice and large regardless of the display resolution.
Also, given much larger modern resolutions, icon sizes should be larger by default.
Diffstat (limited to 'src/ui/theme.c')
-rw-r--r-- | src/ui/theme.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/ui/theme.c b/src/ui/theme.c index fee9948c..b97b0118 100644 --- a/src/ui/theme.c +++ b/src/ui/theme.c @@ -5341,20 +5341,24 @@ meta_theme_load_image (MetaTheme *theme, GError **error) { GdkPixbuf *pixbuf; + int scale; pixbuf = g_hash_table_lookup (theme->images_by_filename, filename); + scale = gdk_window_get_scale_factor (gdk_get_default_root_window ()); + if (pixbuf == NULL) { if (g_str_has_prefix (filename, "theme:") && META_THEME_ALLOWS (theme, META_THEME_IMAGES_FROM_ICON_THEMES)) { - pixbuf = gtk_icon_theme_load_icon ( + pixbuf = gtk_icon_theme_load_icon_for_scale ( gtk_icon_theme_get_default (), filename+6, size_of_theme_icons, + scale, 0, error); if (pixbuf == NULL) return NULL; |