| 132 | } |
| 133 | |
| 134 | void ScriptingWindow::writeSettings() |
| 135 | { |
| 136 | QSettings settings; |
| 137 | |
| 138 | if (settings.value("Main/SaveRestorePositions", false).toBool()) |
| 139 | { |
| 140 | settings.setValue("ScriptingWindow/WindowSize", size()); |
| 141 | settings.setValue("ScriptingWindow/WindowPos", pos()); |
| 142 | } |
| 143 | } |
| 144 | |
| 145 | void ScriptingWindow::changeCurrentScript() |
| 146 | { |