diff -r 154eda18e9b1 -r 470d878cbe9f Preferences/ConfigurationPages/EditorDocViewerPage.py --- a/Preferences/ConfigurationPages/EditorDocViewerPage.py Sun Sep 16 19:13:30 2018 +0200 +++ b/Preferences/ConfigurationPages/EditorDocViewerPage.py Mon Sep 17 19:25:49 2018 +0200 @@ -36,8 +36,6 @@ # set initial values self.parenthesisCheckBox.setChecked( Preferences.getDocuViewer("ShowInfoOnOpenParenthesis")) - self.richTextCheckBox.setChecked( - Preferences.getDocuViewer("ShowInfoAsRichText")) provider = Preferences.getDocuViewer("Provider") self.viewerGroupBox.setChecked(provider != "disabled") @@ -56,9 +54,6 @@ "ShowInfoOnOpenParenthesis", self.parenthesisCheckBox.isChecked()) Preferences.setDocuViewer( - "ShowInfoAsRichText", - self.richTextCheckBox.isChecked()) - Preferences.setDocuViewer( "Provider", self.providerComboBox.itemData( self.providerComboBox.currentIndex())