| 288 | } |
| 289 | |
| 290 | void EditorState::clear() |
| 291 | { |
| 292 | WidgetCreatorManager::getInstance().resetCreatorInfo(); |
| 293 | EditorWidgets::getInstance().clear(); |
| 294 | |
| 295 | WidgetSelectorManager::getInstance().setSelectedWidget(nullptr); |
| 296 | |
| 297 | UndoManager::getInstance().shutdown(); |
| 298 | UndoManager::getInstance().initialise(EditorWidgets::getInstancePtr()); |
| 299 | |
| 300 | setFileName(mDefaultFileName); |
| 301 | |
| 302 | updateCaption(); |
| 303 | } |
| 304 | |
| 305 | void EditorState::load() |
| 306 | { |