6 void layout_cmd (void);
7 void init_curses (void);
8 void done_screen (void);
9 void setup_panels (void);
10 void destroy_panels (void);
11 void move_resize_panel (void);
12 void flag_winch (int dummy
);
13 void change_screen_size (void);
14 void layout_change (void);
15 void set_display_type (int num
, int type
);
16 void swap_panels (void);
17 int get_display_type (int index
);
18 int get_current_type (void);
19 int get_other_type (void);
20 int get_current_index (void);
21 int get_other_index (void);
22 char *get_nth_panel_name (int num
);
24 Widget
*get_panel_widget (int index
);
26 void set_hintbar (char *str
);
28 extern int winch_flag
;
29 extern int equal_split
;
30 extern int first_panel_size
;
31 extern int output_lines
;
32 extern int command_prompt
;
33 extern int keybar_visible
;
34 extern int layout_do_change
;
35 extern int output_start_y
;
36 extern int message_visible
;
37 extern int xterm_hintbar
;
39 extern int horizontal_split
;
40 extern int nice_rotating_dash
;
42 #endif /* __LAYOUT_H */