frame_half 636 src/filemanager/layout.c panel_update_cols (panels[idx].widget, frame_half); frame_half 1562 src/filemanager/panel.c panel_display_t frame = frame_half; frame_half 1573 src/filemanager/panel.c frame = frame_half; frame_half 4520 src/filemanager/panel.c panel->frame_size = frame_half;