search

jcjordyn140 / mintty

Automatically exported from code.google.com/p/mintty
GNU General Public License v3.0
0 stars 0 forks source link

Change font size with Ctrl +/- #60

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Web browsers conveniently allow the font size to be changed with Ctrl +/-
key combinations. That might be useful with mintty too.

Original issue reported on code.google.com by andy.koppe on 3 Mar 2009 at 2:55

GoogleCodeExporter commented 9 years ago 
Implemented in r218 on trunk.

Original comment by andy.koppe on 24 Mar 2009 at 7:20

GoogleCodeExporter commented 9 years ago 
Added font zooming with Ctrl+mousewheel in r314 on 0.4 branch.

Original comment by andy.koppe on 11 May 2009 at 7:31

GoogleCodeExporter commented 9 years ago

Original comment by andy.koppe on 7 Jun 2009 at 7:50