diff -r 9e623311630d -r fc69ad77e18a UI/UserInterface.py
--- a/UI/UserInterface.py Thu Jan 10 19:15:10 2013 +0100
+++ b/UI/UserInterface.py Sat Jan 12 18:44:39 2013 +0100
@@ -90,6 +90,7 @@
from E5Gui import E5MessageBox, E5FileDialog
from E5Gui.E5Application import e5App
from E5Gui.E5MainWindow import E5MainWindow
+from E5Gui.E5ZoomWidget import E5ZoomWidget
from VCS.StatusMonitorLed import StatusMonitorLed
@@ -2496,8 +2497,19 @@
""" the current editor.</p>"""
))
+ self.sbZoom = E5ZoomWidget(UI.PixmapCache.getPixmap("zoomOut.png"),
+ UI.PixmapCache.getPixmap("zoomIn.png"),
+ UI.PixmapCache.getPixmap("zoomReset.png"),
+ self.__statusBar)
+ self.__statusBar.addPermanentWidget(self.sbZoom)
+ self.sbZoom.setWhatsThis(self.trUtf8(
+ """<p>This part of the status bar allows zooming the current editor,"""
+ """ shell or terminal.</p>"""
+ ))
+
self.viewmanager.setSbInfo(self.sbLine, self.sbPos, self.sbWritable,
- self.sbEncoding, self.sbLanguage, self.sbEol)
+ self.sbEncoding, self.sbLanguage, self.sbEol,
+ self.sbZoom)
self.sbVcsMonitorLed = StatusMonitorLed(self.project, self.__statusBar)
self.__statusBar.addPermanentWidget(self.sbVcsMonitorLed)
