guint spacing;
/* The CSS file to read style defaults from */
gchar *css_file;
- /* Hashtable containing the default and current style */
- struct StyleSet *default_styles;
- struct StyleSet *current_styles;
+ /* Hashtable containing the current styles set by CSS and GLK */
+ struct StyleSet *styles;
+ struct StyleSet *glk_styles;
PangoAttrList *pager_attr_list;
/* Final message displayed when game exits */
gchar *final_message;
guint32 resource_available;
/* *** Glk library data *** */
+ /* Info about current plugin */
+ gchar *program_name;
+ gchar *program_info;
+ gchar *story_name;
/* User-defined interrupt handler */
void (*interrupt_handler)(void);
/* Global tree of all windows */