| 155 | } |
| 156 | |
| 157 | void PreferencePage::appendSpinner(const std::string& name, const std::string& registryKey, |
| 158 | double lower, double upper, int fraction) |
| 159 | { |
| 160 | _items.push_back(std::make_shared<PreferenceSpinner>(name, registryKey, lower, upper, fraction)); |
| 161 | } |
| 162 | |
| 163 | } // namespace |
no test coverage detected