comparison src/proto/gui_x11.pro @ 38:c524f99c7925 v7.0022

updated for version 7.0022
author vimboss
date Sun, 12 Dec 2004 11:37:09 +0000
parents 3fc0f57ecb91
children 8c25f10d49e7
comparison
equal deleted inserted replaced
37:fdf55076c53f 38:c524f99c7925
13 void gui_mch_set_winpos __ARGS((int x, int y)); 13 void gui_mch_set_winpos __ARGS((int x, int y));
14 void gui_mch_set_shellsize __ARGS((int width, int height, int min_width, int min_height, int base_width, int base_height)); 14 void gui_mch_set_shellsize __ARGS((int width, int height, int min_width, int min_height, int base_width, int base_height));
15 void gui_mch_get_screen_dimensions __ARGS((int *screen_w, int *screen_h)); 15 void gui_mch_get_screen_dimensions __ARGS((int *screen_w, int *screen_h));
16 int gui_mch_init_font __ARGS((char_u *font_name, int do_fontset)); 16 int gui_mch_init_font __ARGS((char_u *font_name, int do_fontset));
17 GuiFont gui_mch_get_font __ARGS((char_u *name, int giveErrorIfMissing)); 17 GuiFont gui_mch_get_font __ARGS((char_u *name, int giveErrorIfMissing));
18 char_u *gui_mch_get_fontname __ARGS((GuiFont font, char_u *name));
18 int gui_mch_adjust_charsize __ARGS((void)); 19 int gui_mch_adjust_charsize __ARGS((void));
19 void gui_mch_set_font __ARGS((GuiFont font)); 20 void gui_mch_set_font __ARGS((GuiFont font));
20 void gui_mch_set_fontset __ARGS((GuiFontset fontset)); 21 void gui_mch_set_fontset __ARGS((GuiFontset fontset));
21 void gui_mch_free_font __ARGS((GuiFont font)); 22 void gui_mch_free_font __ARGS((GuiFont font));
22 void gui_mch_free_fontset __ARGS((GuiFontset fontset)); 23 void gui_mch_free_fontset __ARGS((GuiFontset fontset));