Preferences/ConfigurationPages/EditorDocViewerPage.py

changeset 6505
470d878cbe9f
parent 6380
4a932a7ab987
child 6559
1265efa7364f
--- 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())

eric ide

mercurial