Fix #908975 (Change font size with CTRL+Mousewheel)

This commit is contained in:
Kovid Goyal 2011-12-27 18:28:58 +05:30
parent 0e31649305
commit ddfba447fb

View File

@ -956,6 +956,13 @@ class DocumentView(QWebView): # {{{
painter.end() painter.end()
def wheelEvent(self, event): def wheelEvent(self, event):
mods = event.modifiers()
if mods & Qt.CTRL:
if self.manager is not None and event.delta() != 0:
f = (self.manager.font_size_larger if event.delta() > 0 else
self.manager.font_size_smaller)
f(False)
return
if event.delta() < -14: if event.delta() < -14:
if self.document.wheel_flips_pages: if self.document.wheel_flips_pages:
self.next_page() self.next_page()