diff -r c6114b3af3a6 -r 272c84c7c87e src/settingseditor/settingseditor.cpp
--- 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)