+ /* Callbacks for registering and unregistering dispatch objects */
+ gidispatch_rock_t (*register_obj)(void *, glui32);
+ void (*unregister_obj)(void *, glui32, gidispatch_rock_t);
+ gidispatch_rock_t (*register_arr)(void *, glui32, char *);
+ void (*unregister_arr)(void *, glui32, char *, gidispatch_rock_t);
+ /* Have styles been initialized */
+ gboolean style_initialized;
+ /* Is widget still displaying windows from last run */
+ gboolean needs_reset;
+
+ /* *** Platform-dependent Glk library data *** */
+ /* Flag for functions to find out if they are being called from startup code */
+ gboolean in_startup;
+ /* "Current directory" for creating filerefs */
+ gchar *current_dir;