diff options
Diffstat (limited to 'nullfe.c')
| -rw-r--r-- | nullfe.c | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -10,7 +10,7 @@ void frontend_default_colour(frontend *fe, float *output) {} void draw_text(drawing *dr, int x, int y, int fonttype, int fontsize, - int align, int colour, char *text) {} + int align, int colour, const char *text) {} void draw_rect(drawing *dr, int x, int y, int w, int h, int colour) {} void draw_line(drawing *dr, int x1, int y1, int x2, int y2, int colour) {} void draw_thick_line(drawing *dr, float thickness, @@ -41,15 +41,16 @@ int print_rgb_hatched_colour(drawing *dr, float r, float g, float b, int hatch) { return 0; } void print_line_width(drawing *dr, int width) {} void print_line_dotted(drawing *dr, int dotted) {} -void midend_supersede_game_desc(midend *me, char *desc, char *privdesc) {} -void status_bar(drawing *dr, char *text) {} +void midend_supersede_game_desc(midend *me, const char *desc, + const char *privdesc) {} +void status_bar(drawing *dr, const char *text) {} struct preset_menu *preset_menu_new(void) {return NULL;} struct preset_menu *preset_menu_add_submenu(struct preset_menu *parent, char *title) {return NULL;} void preset_menu_add_preset(struct preset_menu *parent, char *title, game_params *params) {} -void fatal(char *fmt, ...) +void fatal(const char *fmt, ...) { va_list ap; @@ -64,7 +65,7 @@ void fatal(char *fmt, ...) } #ifdef DEBUGGING -void debug_printf(char *fmt, ...) +void debug_printf(const char *fmt, ...) { va_list ap; va_start(ap, fmt); |