diff options
| author | Victor Kareh <[email protected]> | 2018-04-04 07:27:14 -0400 |
|---|---|---|
| committer | lukefromdc <[email protected]> | 2018-04-04 21:53:21 -0400 |
| commit | 9ea3b711a6a24d4b68231711129982a34938479b (patch) | |
| tree | 3b76f57eabe62b2d8e001506b225511cf09a9984 /src/caja-sidebar-title.c | |
| parent | 554a036710b18d2573810265c69be6e83033af63 (diff) | |
| download | caja-9ea3b711a6a24d4b68231711129982a34938479b.tar.bz2 caja-9ea3b711a6a24d4b68231711129982a34938479b.tar.xz | |
sidebar: Respect sidebar dimensions on HiDPI
Diffstat (limited to 'src/caja-sidebar-title.c')
| -rw-r--r-- | src/caja-sidebar-title.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/caja-sidebar-title.c b/src/caja-sidebar-title.c index 3b257230..2c2cebe1 100644 --- a/src/caja-sidebar-title.c +++ b/src/caja-sidebar-title.c @@ -731,9 +731,11 @@ caja_sidebar_title_size_allocate (GtkWidget *widget, CajaSidebarTitle *sidebar_title; guint16 old_width; guint best_icon_size; + gint scale; GtkAllocation old_allocation, new_allocation; sidebar_title = CAJA_SIDEBAR_TITLE (widget); + scale = gtk_widget_get_scale_factor (widget); gtk_widget_get_allocation (widget, &old_allocation); old_width = old_allocation.width; @@ -744,7 +746,7 @@ caja_sidebar_title_size_allocate (GtkWidget *widget, if (old_width != new_allocation.width) { - best_icon_size = get_best_icon_size (sidebar_title); + best_icon_size = get_best_icon_size (sidebar_title) / scale; if (best_icon_size != sidebar_title->details->best_icon_size) { sidebar_title->details->best_icon_size = best_icon_size; |