extern void general_config_window (void);