panel_update_cols  635 src/filemanager/layout.c         panel_update_cols (panels[idx].widget, frame_half);
panel_update_cols   58 src/filemanager/layout.h void panel_update_cols (Widget *widget, panel_display_t frame_size);
panel_update_cols 1593 src/filemanager/panel.c         panel_update_cols (WIDGET (panel), panel->frame_size);
panel_update_cols 4679 src/filemanager/panel.c     panel_update_cols (WIDGET (p), p->frame_size);