comparison src/proto/gui_riscos.pro @ 445:c773cb978acf v7.0116

updated for version 7.0116
author vimboss
date Mon, 25 Jul 2005 20:46:57 +0000
parents 2b4debdc8d2c
children
comparison
equal deleted inserted replaced
444:d0d15b184c56 445:c773cb978acf
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 int gui_mch_adjust_charsize __ARGS((void)); 18 int gui_mch_adjust_charheight __ARGS((void));
19 void gui_mch_set_font __ARGS((GuiFont font)); 19 void gui_mch_set_font __ARGS((GuiFont font));
20 void gui_mch_set_fontset __ARGS((GuiFontset fontset)); 20 void gui_mch_set_fontset __ARGS((GuiFontset fontset));
21 void gui_mch_free_font __ARGS((GuiFont font)); 21 void gui_mch_free_font __ARGS((GuiFont font));
22 void gui_mch_free_fontset __ARGS((GuiFontset fontset)); 22 void gui_mch_free_fontset __ARGS((GuiFontset fontset));
23 GuiFontset gui_mch_get_fontset __ARGS((char_u *name, int giveErrorIfMissing, int fixed_width)); 23 GuiFontset gui_mch_get_fontset __ARGS((char_u *name, int giveErrorIfMissing, int fixed_width));