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