save the user-specified auto-save interval
| 1365 | |
| 1366 | // save the user-specified auto-save interval |
| 1367 | int Global::getAutoSaveInterval() { |
| 1368 | global.settings->beginGroup("Appearance"); |
| 1369 | int value = global.settings->value("autoSaveInterval", 500).toInt(); |
| 1370 | global.settings->endGroup(); |
| 1371 | return value; |
| 1372 | } |
| 1373 | |
| 1374 | // Save the user specified auto-save interval |
| 1375 | void Global::setAutoSaveInterval(int value) { |