top_panel_size     82 src/filemanager/layout.c     .top_panel_size = 0
top_panel_size    199 src/filemanager/layout.c             layout->top_panel_size = height / 2;
top_panel_size    200 src/filemanager/layout.c         else if (layout->top_panel_size < MINHEIGHT)
top_panel_size    201 src/filemanager/layout.c             layout->top_panel_size = MINHEIGHT;
top_panel_size    202 src/filemanager/layout.c         else if (layout->top_panel_size > height - MINHEIGHT)
top_panel_size    203 src/filemanager/layout.c             layout->top_panel_size = height - MINHEIGHT;
top_panel_size    237 src/filemanager/layout.c         tty_printf ("%03d", panels_layout.top_panel_size);
top_panel_size    243 src/filemanager/layout.c         tty_printf ("%03d", height - panels_layout.top_panel_size);
top_panel_size    261 src/filemanager/layout.c             panels_layout.top_panel_size++;
top_panel_size    268 src/filemanager/layout.c             panels_layout.top_panel_size--;
top_panel_size    414 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    927 src/filemanager/layout.c         panels_layout.top_panel_size++;
top_panel_size    946 src/filemanager/layout.c         panels_layout.top_panel_size--;
top_panel_size     38 src/filemanager/layout.h     int top_panel_size;
top_panel_size    260 src/setup.c        { "top_panel_size", &panels_layout.top_panel_size },