comparison src/proto/gui_gtk_x11.pro @ 1967:4f3857aa1785 v7.2.264

updated for version 7.2-264
author vimboss
date Wed, 23 Sep 2009 16:14:49 +0000
parents e63691e7c504
children b0ebf9d121ff
comparison
equal deleted inserted replaced
1966:43a60ac87145 1967:4f3857aa1785
14 void gui_mch_new_colors __ARGS((void)); 14 void gui_mch_new_colors __ARGS((void));
15 int gui_mch_open __ARGS((void)); 15 int gui_mch_open __ARGS((void));
16 void gui_mch_exit __ARGS((int rc)); 16 void gui_mch_exit __ARGS((int rc));
17 int gui_mch_get_winpos __ARGS((int *x, int *y)); 17 int gui_mch_get_winpos __ARGS((int *x, int *y));
18 void gui_mch_set_winpos __ARGS((int x, int y)); 18 void gui_mch_set_winpos __ARGS((int x, int y));
19 int gui_mch_maximized __ARGS((void));
20 void gui_mch_unmaximize __ARGS((void));
19 void gui_mch_set_shellsize __ARGS((int width, int height, int min_width, int min_height, int base_width, int base_height, int direction)); 21 void gui_mch_set_shellsize __ARGS((int width, int height, int min_width, int min_height, int base_width, int base_height, int direction));
20 void gui_mch_get_screen_dimensions __ARGS((int *screen_w, int *screen_h)); 22 void gui_mch_get_screen_dimensions __ARGS((int *screen_w, int *screen_h));
21 void gui_mch_settitle __ARGS((char_u *title, char_u *icon)); 23 void gui_mch_settitle __ARGS((char_u *title, char_u *icon));
22 void gui_mch_enable_menu __ARGS((int showit)); 24 void gui_mch_enable_menu __ARGS((int showit));
23 void gui_mch_show_toolbar __ARGS((int showit)); 25 void gui_mch_show_toolbar __ARGS((int showit));