diff options
| author | Jury Verrigni <[email protected]> | 2017-08-24 21:40:55 +0100 |
|---|---|---|
| committer | lukefromdc <[email protected]> | 2017-08-25 14:34:21 -0400 |
| commit | 5447f8b32a1b28a3a26e996f42c39fc4656fd724 (patch) | |
| tree | 442ee0e2fb1c0a740e190571bf3d48c4ddb5c6d7 | |
| parent | a8585cf9ad1b57c7fb3e8601f31242f6790e052a (diff) | |
| download | caja-5447f8b32a1b28a3a26e996f42c39fc4656fd724.tar.bz2 caja-5447f8b32a1b28a3a26e996f42c39fc4656fd724.tar.xz | |
Forces widget redraw on zoom
| -rw-r--r-- | src/file-manager/fm-list-view.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/file-manager/fm-list-view.c b/src/file-manager/fm-list-view.c index bb62db8b..7fccac6c 100644 --- a/src/file-manager/fm-list-view.c +++ b/src/file-manager/fm-list-view.c @@ -2778,6 +2778,8 @@ fm_list_view_set_zoom_level (FMListView *view, -1, icon_size); fm_directory_view_update_menus (FM_DIRECTORY_VIEW (view)); + + gtk_widget_queue_draw(view->details->tree_view); } static void |