#ifdef DEBUGGING
static FILE *debug_fp = NULL;
-void dputs(char *buf)
+void dputs(const char *buf)
{
if (!debug_fp) {
debug_fp = fopen("debug.log", "w");
}
}
-void debug_printf(char *fmt, ...)
+void debug_printf(const char *fmt, ...)
{
char buf[4096];
va_list ap;
* Error reporting functions used elsewhere.
*/
-void fatal(char *fmt, ...)
+void fatal(const char *fmt, ...)
{
va_list ap;
#endif
}
-void gtk_status_bar(void *handle, char *text)
+void gtk_status_bar(void *handle, const char *text)
{
frontend *fe = (frontend *)handle;
}
void gtk_draw_text(void *handle, int x, int y, int fonttype, int fontsize,
- int align, int colour, char *text)
+ int align, int colour, const char *text)
{
frontend *fe = (frontend *)handle;
int i;