--- a/src/settingseditor/settingseditor.cpp Sun Feb 02 00:51:06 2020 +0200 +++ b/src/settingseditor/settingseditor.cpp Sun Feb 02 00:58:59 2020 +0200 @@ -41,6 +41,7 @@ this->settings->setMainColor(this->ui.mainColorButton->selectedColor()); this->settings->setBackgroundColor(this->ui.backgroundColorButton->selectedColor()); this->settings->setLineThickness(static_cast<GLfloat>(this->ui.lineThickness->value())); + this->settings->setLineAntiAliasing(this->ui.lineAntiAliasing->isChecked()); this->librariesEditor.saveSettings(this->settings); } @@ -72,6 +73,7 @@ this->ui.mainColorButton->setSelectedColor(this->settings->mainColor()); this->ui.backgroundColorButton->setSelectedColor(this->settings->backgroundColor()); this->ui.lineThickness->setValue(static_cast<double>(this->settings->lineThickness())); + this->ui.lineAntiAliasing->setChecked(this->settings->lineAntiAliasing()); } void SettingsEditor::setCurrentLanguage(const QString& localeCode)