ViewManager/ViewManager.py

changeset 3377
2644be0a8f1a
parent 3374
78873f09329e
child 3446
5a670e55adbb
equal deleted inserted replaced
3375:03f1833b601e 3377:2644be0a8f1a
5601 if aw: 5601 if aw:
5602 from QScintilla.ZoomDialog import ZoomDialog 5602 from QScintilla.ZoomDialog import ZoomDialog
5603 dlg = ZoomDialog(aw.getZoom(), self.ui, None, True) 5603 dlg = ZoomDialog(aw.getZoom(), self.ui, None, True)
5604 if dlg.exec_() == QDialog.Accepted: 5604 if dlg.exec_() == QDialog.Accepted:
5605 value = dlg.getZoomSize() 5605 value = dlg.getZoomSize()
5606 if value is not None:
5607 self.__zoomTo(value) 5606 self.__zoomTo(value)
5608 5607
5609 def __zoomTo(self, value): 5608 def __zoomTo(self, value):
5610 """ 5609 """
5611 Private slot to zoom to a given value. 5610 Private slot to zoom to a given value.

eric ide

mercurial