UI/Previewer.py

changeset 3591
2f2a4a76dd22
parent 3515
1b8381afe38f
child 3656
441956d8fce5
equal deleted inserted replaced
3590:5280e37405b8 3591:2f2a4a76dd22
122 self.__typingTimer.stop() 122 self.__typingTimer.stop()
123 self.__typingTimer.start() 123 self.__typingTimer.start()
124 124
125 def __previewStateChanged(self, on): 125 def __previewStateChanged(self, on):
126 """ 126 """
127 Public slot to toggle the display of the preview. 127 Private slot to toggle the display of the preview.
128 128
129 @param on flag indicating to show a preview (boolean) 129 @param on flag indicating to show a preview (boolean)
130 """ 130 """
131 editor = self.__vm.activeWindow() 131 editor = self.__vm.activeWindow()
132 if on and editor and self.__isPreviewable(editor): 132 if on and editor and self.__isPreviewable(editor):

eric ide

mercurial