void set_UI_volume(int vol) { if(UI_volume() == vol) { return; } prefs["UI_volume"] = vol; sound::set_UI_volume(UI_volume()); }
void set_UI_volume(int vol) { if(UI_volume() == vol) { return; } preferences::set("UI_volume", lexical_cast_default<std::string>(vol, "100")); sound::set_UI_volume(UI_volume()); }