diff -r 72c063cc730b -r ed23eb2f20a4 UI/CodeDocumentationViewer.py
--- a/UI/CodeDocumentationViewer.py Wed Aug 22 16:19:12 2018 +0200
+++ b/UI/CodeDocumentationViewer.py Thu Aug 23 17:54:43 2018 +0200
@@ -316,8 +316,11 @@
"""
Public method to finalize the setup of the documentation viewer.
"""
- self.__showTextViewer(
- Preferences.getDocuViewer("ShowInfoAsRichText"))
+ if self.__richTextViewer is None:
+ showRichText = False
+ else:
+ showRichText = Preferences.getDocuViewer("ShowInfoAsRichText")
+ self.__showTextViewer(showRichText)
self.__startingUp = False
provider = Preferences.getDocuViewer("Provider")
@@ -613,9 +616,12 @@
"""
Public slot to handle a change of preferences.
"""
- showMarkdown = Preferences.getDocuViewer("ShowInfoAsRichText")
- if showMarkdown != self.__showMarkdown:
- self.__showTextViewer(showMarkdown)
+ if self.__richTextViewer is None:
+ showRichText = False
+ else:
+ showRichText = Preferences.getDocuViewer("ShowInfoAsRichText")
+ if showRichText != self.__showMarkdown:
+ self.__showTextViewer(showRichText)
provider = Preferences.getDocuViewer("Provider")
self.__selectProvider(provider)
