diff -r 2be37423974e -r feb3cf2cbde3 Preferences/ConfigurationPages/EditorStylesPage.py --- a/Preferences/ConfigurationPages/EditorStylesPage.py Sat May 19 16:41:22 2018 +0200 +++ b/Preferences/ConfigurationPages/EditorStylesPage.py Sat May 19 17:56:11 2018 +0200 @@ -93,8 +93,6 @@ Preferences.getEditor("LinenoMargin")) self.foldingCheckBox.setChecked( Preferences.getEditor("FoldingMargin")) - self.unifiedMarginsCheckBox.setChecked( - Preferences.getEditor("UnifiedMargins")) self.caretlineVisibleCheckBox.setChecked( Preferences.getEditor("CaretLineVisible")) @@ -289,8 +287,6 @@ "LinenoMargin", self.linenoCheckBox.isChecked()) Preferences.setEditor( "FoldingMargin", self.foldingCheckBox.isChecked()) - Preferences.setEditor( - "UnifiedMargins", self.unifiedMarginsCheckBox.isChecked()) Preferences.setEditor( "CaretLineVisible", self.caretlineVisibleCheckBox.isChecked())