233 self.objectLineEdit.setObjectName("objectLineEdit") |
233 self.objectLineEdit.setObjectName("objectLineEdit") |
234 |
234 |
235 self.verticalLayout.addLayout(self.horizontalLayout1) |
235 self.verticalLayout.addLayout(self.horizontalLayout1) |
236 self.verticalLayout.addWidget(self.objectLineEdit) |
236 self.verticalLayout.addWidget(self.objectLineEdit) |
237 |
237 |
238 # Rich Text (Web) Viewer |
238 # Rich Text (Web) Documentation Viewer |
239 self.__viewerWidget = DocumentationViewerWidget(self) |
239 self.__viewerWidget = DocumentationViewerWidget(self) |
240 self.__viewerWidget.setObjectName("__viewerWidget") |
240 self.__viewerWidget.setObjectName("__viewerWidget") |
241 self.verticalLayout.addWidget(self.__viewerWidget) |
241 self.verticalLayout.addWidget(self.__viewerWidget) |
242 |
|
243 # backward compatibility for plug-ins before 2018-09-17 |
|
244 Preferences.setDocuViewer("ShowInfoAsRichText", True) |
|
245 |
242 |
246 self.providerComboBox.currentIndexChanged[int].connect( |
243 self.providerComboBox.currentIndexChanged[int].connect( |
247 self.on_providerComboBox_currentIndexChanged) |
244 self.on_providerComboBox_currentIndexChanged) |
248 |
245 |
249 def finalizeSetup(self): |
246 def finalizeSetup(self): |