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): |