179 |
extern void xg_resize_widgets P_ ((FRAME_PTR f, |
extern void xg_resize_widgets P_ ((FRAME_PTR f, |
180 |
int pixelwidth, |
int pixelwidth, |
181 |
int pixelheight)); |
int pixelheight)); |
182 |
|
extern void xg_frame_cleared P_ ((FRAME_PTR f)); |
183 |
extern void xg_frame_set_char_size P_ ((FRAME_PTR f, int cols, int rows)); |
extern void xg_frame_set_char_size P_ ((FRAME_PTR f, int cols, int rows)); |
184 |
extern GtkWidget * xg_win_to_widget P_ ((Window)); |
extern GtkWidget * xg_win_to_widget P_ ((Window)); |
185 |
extern int xg_create_frame_widgets P_ ((FRAME_PTR f)); |
extern int xg_create_frame_widgets P_ ((FRAME_PTR f)); |