2017-09-07 15:22:31 +02:00
|
|
|
void gui_fatal(const char *fmt, ...) __attribute__((noreturn));
|
2011-03-15 13:00:12 +01:00
|
|
|
void gui_nonfatal(const char *fmt, ...);
|
2017-09-07 15:22:31 +02:00
|
|
|
void qfile_gui_fatal(const char *fmt, va_list args) __attribute__((noreturn));
|