UI/CodeDocumentationViewer.py

changeset 6475
ed23eb2f20a4
parent 6372
ae44c83fccab
child 6505
470d878cbe9f
equal deleted inserted replaced
6474:72c063cc730b 6475:ed23eb2f20a4
314 314
315 def finalizeSetup(self): 315 def finalizeSetup(self):
316 """ 316 """
317 Public method to finalize the setup of the documentation viewer. 317 Public method to finalize the setup of the documentation viewer.
318 """ 318 """
319 self.__showTextViewer( 319 if self.__richTextViewer is None:
320 Preferences.getDocuViewer("ShowInfoAsRichText")) 320 showRichText = False
321 else:
322 showRichText = Preferences.getDocuViewer("ShowInfoAsRichText")
323 self.__showTextViewer(showRichText)
321 324
322 self.__startingUp = False 325 self.__startingUp = False
323 provider = Preferences.getDocuViewer("Provider") 326 provider = Preferences.getDocuViewer("Provider")
324 if provider in self.__providers: 327 if provider in self.__providers:
325 index = self.providerComboBox.findData(provider) 328 index = self.providerComboBox.findData(provider)
611 614
612 def preferencesChanged(self): 615 def preferencesChanged(self):
613 """ 616 """
614 Public slot to handle a change of preferences. 617 Public slot to handle a change of preferences.
615 """ 618 """
616 showMarkdown = Preferences.getDocuViewer("ShowInfoAsRichText") 619 if self.__richTextViewer is None:
617 if showMarkdown != self.__showMarkdown: 620 showRichText = False
618 self.__showTextViewer(showMarkdown) 621 else:
622 showRichText = Preferences.getDocuViewer("ShowInfoAsRichText")
623 if showRichText != self.__showMarkdown:
624 self.__showTextViewer(showRichText)
619 625
620 provider = Preferences.getDocuViewer("Provider") 626 provider = Preferences.getDocuViewer("Provider")
621 self.__selectProvider(provider) 627 self.__selectProvider(provider)
622 628
623 def __selectProvider(self, provider): 629 def __selectProvider(self, provider):

eric ide

mercurial