double config_get_default_high_threshold_temperature(void);
bool config_is_window_decoration_enabled(void);
void config_set_window_decoration_enabled(bool);
double config_get_default_high_threshold_temperature(void);
bool config_is_window_decoration_enabled(void);
void config_set_window_decoration_enabled(bool);