diff -r d89cd224dd1b -r d0de2b378b24 Preferences/ConfigurationPages/EditorDocViewerPage.py --- a/Preferences/ConfigurationPages/EditorDocViewerPage.py Sat Oct 21 15:13:56 2017 +0200 +++ b/Preferences/ConfigurationPages/EditorDocViewerPage.py Sat Oct 21 15:18:15 2017 +0200 @@ -37,8 +37,10 @@ self.providerComboBox.addItem(text, provider) # set initial values + self.parenthesisCheckBox.setChecked( + Preferences.getDocuViewer("ShowInfoOnOpenParenthesis")) self.richTextCheckBox.setChecked( - Preferences.getDocuViewer("ShowInfoAsMarkdown")) + Preferences.getDocuViewer("ShowInfoAsRichText")) provider = Preferences.getDocuViewer("Provider") self.viewerGroupBox.setChecked(provider != "disabled") @@ -54,7 +56,11 @@ enabled = self.viewerGroupBox.isChecked() if enabled: Preferences.setDocuViewer( - "ShowInfoAsMarkdown", self.richTextCheckBox.isChecked()) + "ShowInfoOnOpenParenthesis", + self.parenthesisCheckBox.isChecked()) + Preferences.setDocuViewer( + "ShowInfoAsRichText", + self.richTextCheckBox.isChecked()) Preferences.setDocuViewer( "Provider", self.providerComboBox.itemData(