/* tabpanel.c */
int tabpanelopt_changed(void);
int tabpanel_width(void);
int tabpanel_leftcol(void);
void draw_tabpanel(void);
int get_tabpagenr_on_tabpanel(void);
/* mnv: set ft=c : */