diff options
| author | Jury Verrigni <[email protected]> | 2017-08-24 21:40:55 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2017-08-26 11:34:28 +0200 |
| commit | 14ce3294bed72bd6e4ab3cc2685f37ddc3a5b0db (patch) | |
| tree | e082ce688d81be1e8f4d92ecec4879e11d5a0228 | |
| parent | 9994201d979dbaa6543f280febf3e4023de6dc60 (diff) | |
| download | caja-14ce3294bed72bd6e4ab3cc2685f37ddc3a5b0db.tar.bz2 caja-14ce3294bed72bd6e4ab3cc2685f37ddc3a5b0db.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 4021bf2e..f32d58cb 100644 --- a/src/file-manager/fm-list-view.c +++ b/src/file-manager/fm-list-view.c @@ -2777,6 +2777,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 |