/* XXX non-official Glk functions that may or may not exist */

#define GARGLK 1

extern char* garglk_fileref_get_name(frefid_t fref);

extern void garglk_set_program_name(const char *name);

extern void garglk_set_program_info(const char *info);

extern void garglk_set_story_name(const char *name);

extern void garglk_set_config(const char *name);

/* not implemented */

#define garglk_font_Roman (0)

#define garglk_font_Italic (1)

#define garglk_font_Bold (2)

#define garglk_font_BoldItalic (3)

#define garglk_font_MonoRoman (4)

#define garglk_font_MonoItalic (5)

#define garglk_font_MonoBold (6)

#define garglk_font_MonoBoldItalic (7)

#define garglk_color_White             (0)

#define garglk_color_Red               (1)

#define garglk_color_Green             (2)

#define garglk_color_Blue              (3)

#define garglk_color_Cyan              (4)

#define garglk_color_Magenta   (5)

#define garglk_color_Yellow            (6)

#define garglk_color_Black             (7)

extern void garglk_set_style_font(glui32 font);

extern void garglk_set_style_stream_font(strid_t str, glui32 font);

extern void garglk_set_style_color(glui32 bg, glui32 fg);

extern void garglk_set_style_stream_color(strid_t str, glui32 bg, glui32 fg);