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