diff options
| author | osch <oliver at luced de> | 2019-04-12 21:22:59 +0200 |
|---|---|---|
| committer | lukefromdc <[email protected]> | 2019-04-23 18:35:39 +0000 |
| commit | 5e2f54dbf2417c3b5f8b1614010565a0a500382a (patch) | |
| tree | 691d98cc1bfcb0e0bf4d24ee4713d53eb53eca9c /src/ui | |
| parent | ae98b909e347ae7dadb0a57a22dbca3cf2231f33 (diff) | |
| download | marco-5e2f54dbf2417c3b5f8b1614010565a0a500382a.tar.bz2 marco-5e2f54dbf2417c3b5f8b1614010565a0a500382a.tar.xz | |
make icon size configurable
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/preview-widget.c | 4 | ||||
| -rw-r--r-- | src/ui/ui.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/ui/preview-widget.c b/src/ui/preview-widget.c index c1c3ad0b..50f42b61 100644 --- a/src/ui/preview-widget.c +++ b/src/ui/preview-widget.c @@ -452,13 +452,13 @@ meta_preview_get_icon (void) if (icon_exists) default_icon = gtk_icon_theme_load_icon (theme, META_DEFAULT_ICON_NAME, - META_ICON_WIDTH, + META_DEFAULT_ICON_SIZE, 0, NULL); else default_icon = gtk_icon_theme_load_icon (theme, "image-missing", - META_ICON_WIDTH, + META_DEFAULT_ICON_SIZE, 0, NULL); diff --git a/src/ui/ui.c b/src/ui/ui.c index b3f40062..7b5bcdfc 100644 --- a/src/ui/ui.c +++ b/src/ui/ui.c @@ -591,7 +591,7 @@ meta_ui_get_default_window_icon (MetaUI *ui) if (default_icon == NULL) { scale = gtk_widget_get_scale_factor (GTK_WIDGET (ui->frames)); - default_icon = load_default_window_icon (META_ICON_WIDTH, scale); + default_icon = load_default_window_icon (meta_prefs_get_icon_size(), scale); g_assert (default_icon); } |