316 this->documentSplitterState = this->settings.mainSplitterState(); |
316 this->documentSplitterState = this->settings.mainSplitterState(); |
317 this->renderPreferences.style = static_cast<gl::RenderStyle>(this->settings.renderStyle()); |
317 this->renderPreferences.style = static_cast<gl::RenderStyle>(this->settings.renderStyle()); |
318 this->renderPreferences.mainColor = this->settings.mainColor(); |
318 this->renderPreferences.mainColor = this->settings.mainColor(); |
319 this->renderPreferences.backgroundColor = this->settings.backgroundColor(); |
319 this->renderPreferences.backgroundColor = this->settings.backgroundColor(); |
320 this->renderPreferences.lineThickness = this->settings.lineThickness(); |
320 this->renderPreferences.lineThickness = this->settings.lineThickness(); |
|
321 this->renderPreferences.lineAntiAliasing = this->settings.lineAntiAliasing(); |
321 const QString systemLocale = QLocale::system().name(); |
322 const QString systemLocale = QLocale::system().name(); |
322 const QVariant defaultLocale = this->settings.locale(); |
323 const QVariant defaultLocale = this->settings.locale(); |
323 this->changeLanguage(defaultLocale.toString()); |
324 this->changeLanguage(defaultLocale.toString()); |
324 this->libraries.restoreFromSettings(&this->settings); |
325 this->libraries.restoreFromSettings(&this->settings); |
325 this->updateRecentlyOpenedDocumentsMenu(); |
326 this->updateRecentlyOpenedDocumentsMenu(); |