panel_display_t   744 src/filemanager/layout.c panel_update_cols (Widget *widget, panel_display_t frame_size)
panel_display_t    58 src/filemanager/layout.h void panel_update_cols (Widget *widget, panel_display_t frame_size);
panel_display_t  1556 src/filemanager/panel.c     panel_display_t frame = frame_half;
panel_display_t    86 src/filemanager/panel.h     panel_display_t frame_size;  // half or full frame