Preferences/ConfigurationPages/EditorDocViewerPage.py

changeset 5919
d0de2b378b24
parent 5912
b6643d36dddd
child 6047
39586a2de99d
--- 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(

eric ide

mercurial