top_panel_size     82 src/filemanager/layout.c     .top_panel_size = 0
top_panel_size    205 src/filemanager/layout.c             layout->top_panel_size = height / 2;
top_panel_size    206 src/filemanager/layout.c         else if (layout->top_panel_size < MINHEIGHT)
top_panel_size    207 src/filemanager/layout.c             layout->top_panel_size = MINHEIGHT;
top_panel_size    208 src/filemanager/layout.c         else if (layout->top_panel_size > height - MINHEIGHT)
top_panel_size    209 src/filemanager/layout.c             layout->top_panel_size = height - MINHEIGHT;
top_panel_size    243 src/filemanager/layout.c         tty_printf ("%03d", panels_layout.top_panel_size);
top_panel_size    249 src/filemanager/layout.c         tty_printf ("%03d", height - panels_layout.top_panel_size);
top_panel_size    267 src/filemanager/layout.c             panels_layout.top_panel_size++;
top_panel_size    274 src/filemanager/layout.c             panels_layout.top_panel_size--;
top_panel_size    404 src/filemanager/layout.c                         panels_layout.top_panel_size = height / 2;
top_panel_size    859 src/filemanager/layout.c         widget_set_size (panels[0].widget, start_y, r->x, panels_layout.top_panel_size,
top_panel_size    861 src/filemanager/layout.c         widget_set_size (panels[1].widget, start_y + panels_layout.top_panel_size, r->x,
top_panel_size    862 src/filemanager/layout.c                          height - panels_layout.top_panel_size, panels[1].widget->rect.cols);
top_panel_size    937 src/filemanager/layout.c         panels_layout.top_panel_size++;
top_panel_size    956 src/filemanager/layout.c         panels_layout.top_panel_size--;
top_panel_size     38 src/filemanager/layout.h     int top_panel_size;
top_panel_size    263 src/setup.c        { "top_panel_size", &panels_layout.top_panel_size },