Helpviewer/HelpBrowserWV.py

changeset 4275
3bed5f74d328
parent 4241
545629046c45
child 4316
493891cbacee
child 4329
399e14805a5c
equal deleted inserted replaced
4272:169835cdf784 4275:3bed5f74d328
1022 1022
1023 def zoomReset(self): 1023 def zoomReset(self):
1024 """ 1024 """
1025 Public method to reset the zoom factor. 1025 Public method to reset the zoom factor.
1026 """ 1026 """
1027 self.__currentZoom = self.__zoomLevels[HelpBrowser.ZoomLevelDefault] 1027 index = self.__levelForZoom(HelpBrowser.ZoomLevelDefault)
1028 self.__currentZoom = self.__zoomLevels[index]
1028 self.__applyZoom() 1029 self.__applyZoom()
1029 1030
1030 def hasSelection(self): 1031 def hasSelection(self):
1031 """ 1032 """
1032 Public method to determine, if there is some text selected. 1033 Public method to determine, if there is some text selected.

eric ide

mercurial