int num_toons;
float frames_per_second;
+ boolean show_frames_per_second;
/* global values for fading screens and masking borders */
int border_status;
extern SetupFileHash *element_token_hash;
extern SetupFileHash *graphic_token_hash;
extern SetupFileHash *font_token_hash;
+extern SetupFileHash *hide_setup_hash;
extern struct ConfigTypeInfo image_config_suffix[];
extern struct ConfigTypeInfo sound_config_suffix[];
extern struct ConfigTypeInfo music_config_suffix[];