| 147 | editSettings->setDefaultExtraTimeRatio(text.toDouble()); |
| 148 | } |
| 149 | void GeneralSettings::defaultMemoryLimitChanged(const QString &text) { |
| 150 | editSettings->setDefaultMemoryLimit(text.toInt()); |
| 151 | } |
| 152 | |
| 153 | void GeneralSettings::compileTimeLimitChanged(const QString &text) { |
| 154 | editSettings->setCompileTimeLimit(text.toInt()); |
nothing calls this directly
no test coverage detected