comparison src/proto/gui_kde_x11.pro @ 444:d0d15b184c56

updated for version 7.0116
author vimboss
date Mon, 25 Jul 2005 20:42:36 +0000
parents 80000fb16feb
children
comparison
equal deleted inserted replaced
443:43bf0bcf2110 444:d0d15b184c56
12 void gui_mch_set_winpos __ARGS((int x, int y)); 12 void gui_mch_set_winpos __ARGS((int x, int y));
13 void gui_mch_set_shellsize __ARGS((int width, int height, int min_width, int min_height, int base_width, int base_height)); 13 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_get_screen_dimensions __ARGS((int *screen_w, int *screen_h)); 14 void gui_mch_get_screen_dimensions __ARGS((int *screen_w, int *screen_h));
15 void gui_mch_enable_menu __ARGS((int flag)); 15 void gui_mch_enable_menu __ARGS((int flag));
16 void gui_mch_show_toolbar __ARGS((int showit)); 16 void gui_mch_show_toolbar __ARGS((int showit));
17 int gui_mch_adjust_charsize __ARGS((void)); 17 int gui_mch_adjust_charheight __ARGS((void));
18 GuiFontset gui_mch_get_fontset __ARGS((char_u *name, int report_error, int fixed_width)); 18 GuiFontset gui_mch_get_fontset __ARGS((char_u *name, int report_error, int fixed_width));
19 int gui_mch_init_font __ARGS((char_u *font_name, int fontset)); 19 int gui_mch_init_font __ARGS((char_u *font_name, int fontset));
20 GuiFont gui_mch_get_font __ARGS((char_u *name, int report_error)); 20 GuiFont gui_mch_get_font __ARGS((char_u *name, int report_error));
21 char_u *gui_mch_get_fontname __ARGS((GuiFont font, char_u *name)); 21 char_u *gui_mch_get_fontname __ARGS((GuiFont font, char_u *name));
22 void gui_mch_set_font __ARGS((GuiFont font)); 22 void gui_mch_set_font __ARGS((GuiFont font));