| 374 | } |
| 375 | |
| 376 | void UserPrefsEditor::CleanUpSave(std::string& json) //remove the markup hack that got the json file to save ordered |
| 377 | { |
| 378 | for (int i = 0; i < (int)UserPrefs.mUserPrefs.size(); ++i) |
| 379 | ofStringReplace(json, "**" + UserPrefsHolder::ToStringLeadingZeroes(i) + "**", "", true); |
| 380 | } |
| 381 | |
| 382 | bool UserPrefsEditor::PrefRequiresRestart(UserPref* pref) const |
| 383 | { |
nothing calls this directly
no test coverage detected