--- a/src/document.cpp	Sat Feb 01 15:49:28 2020 +0200
+++ b/src/document.cpp	Sat Feb 01 17:10:11 2020 +0200
@@ -55,7 +55,7 @@
 	this->ui.splitter->restoreState(state);
 }
 
-void Document::setRenderStyle(gl::RenderStyle newRenderStyle)
+void Document::setRenderPreferences(const gl::RenderPreferences& newPreferences)
 {
-	this->renderer->setRenderStyle(newRenderStyle);
+	this->renderer->setRenderPreferences(newPreferences);
 }