Permalink
Browse files

make Ctrl+0 reset font size in qt widget

  • Loading branch information...
1 parent 9439f7c commit 82e0db3f6d92296466e82f56826f74862498743a @mspacek mspacek committed Jun 1, 2011
Showing with 4 additions and 0 deletions.
  1. +4 −0 IPython/frontend/qt/console/console_widget.py
@@ -998,6 +998,10 @@ def _event_filter_console_keypress(self, event):
self.change_font_size(-1)
intercepted = True
+ elif key == QtCore.Qt.Key_0:
+ self.reset_font()
+ intercepted = True
+
#------ Alt modifier ---------------------------------------------------
elif alt_down:

0 comments on commit 82e0db3

Please sign in to comment.