diff -r 154eda18e9b1 -r 470d878cbe9f Preferences/ConfigurationPages/EditorDocViewerPage.ui --- a/Preferences/ConfigurationPages/EditorDocViewerPage.ui Sun Sep 16 19:13:30 2018 +0200 +++ b/Preferences/ConfigurationPages/EditorDocViewerPage.ui Mon Sep 17 19:25:49 2018 +0200 @@ -54,16 +54,6 @@ </widget> </item> <item> - <widget class="QCheckBox" name="richTextCheckBox"> - <property name="toolTip"> - <string>Select to show code documentation as rich text</string> - </property> - <property name="text"> - <string>Show documentation as rich text</string> - </property> - </widget> - </item> - <item> <layout class="QHBoxLayout" name="horizontalLayout"> <item> <widget class="QLabel" name="label"> @@ -111,7 +101,6 @@ <tabstops> <tabstop>viewerGroupBox</tabstop> <tabstop>parenthesisCheckBox</tabstop> - <tabstop>richTextCheckBox</tabstop> <tabstop>providerComboBox</tabstop> </tabstops> <resources/>