Re: [ANNOUNCEMENT] Update: mintty 2.1.3

2015-08-04 Thread Thomas Wolff
Am 04.08.2015 um 13:09 schrieb Achim Gratz: Thomas Wolff towo.net> writes: Zooming: ... This zooming business monkeys around with the font sizes when using Windows' own shortcuts for maximizing the window vertically (Alt-Up) and resetting to the previous size (Alt-Down). MAximizing the window

Re: [ANNOUNCEMENT] Update: mintty 2.1.3

2015-08-04 Thread Achim Gratz
Thomas Wolff towo.net> writes: > Zooming: >* Control-middle-mouse click resets zooming, complementing > Control-mouse-wheel scroll in analogy to Control-+/-/0. >* New option ZoomMouse=off to disable mouse-wheel zooming. >* Enabled Shift-Ctrl-0 to reset zooming for font and window (#233

[ANNOUNCEMENT] Update: mintty 2.1.3

2015-07-30 Thread Thomas Wolff
Mintty 2.1.3 has been uploaded. Changes: * With position option, "centre" or "center" can be specified (#208). * Enabled new character attributes strikeout, doubly-underlined, overlined. Zooming: * Control-middle-mouse click resets zooming, complementing Control-mouse-wheel scroll in analo

Update: mintty 2.1.3

2015-07-30 Thread Thomas Wolff
Mintty 2.1.3 has been uploaded. Changes: * With position option, "centre" or "center" can be specified (#208). * Enabled new character attributes strikeout, doubly-underlined, overlined. Zooming: * Control-middle-mouse click resets zooming, complementing Control-mouse-wheel scroll in analo