summaryrefslogtreecommitdiff
path: root/src/ui/theme.c
diff options
context:
space:
mode:
authorVictor Kareh <[email protected]>2019-01-22 10:54:54 -0500
committerlukefromdc <[email protected]>2019-01-31 20:00:19 +0000
commit8abba9a150e4004004609ff7a1c72a188f170d5f (patch)
tree73898365c201433d6c0325676f1440d76bf8ef06 /src/ui/theme.c
parenta931b089754c0fc3e43705e9ac2137803274dced (diff)
downloadmarco-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.c6
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;