suzdraws / mintty

Automatically exported from code.google.com/p/mintty
0 stars 0 forks source link

Shortcut key for returning to initial size #80

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
There should be a shortcut key for returning the terminal to its initial
size (in terms of rows and columns).

Original issue reported on code.google.com by andy.koppe on 4 Apr 2009 at 7:04

GoogleCodeExporter commented 9 years ago

Original comment by andy.koppe on 26 Apr 2009 at 11:16

GoogleCodeExporter commented 9 years ago
What should be the shortcut key for this? Currently I'm thinking Alt+F10. That 
would
put it next to Alt+F11, which might become the Fullscreen shortcut at some 
point.

Also, what should the command do when we are in fullscreen mode?
1. Nothing?
2. Reset the remembered window size for when we leave fullscreen mode?
3. Leave fullscreen mode and go back to the initial size right away?

2 seems a bad idea due to the hidden effect, so it's between 1 and 3 really. 
Leaning
towards 3 at the moment.

Original comment by andy.koppe on 1 May 2009 at 6:06

GoogleCodeExporter commented 9 years ago
I vote for option 3.

Original comment by ir0nh...@gmail.com on 1 May 2009 at 2:22

GoogleCodeExporter commented 9 years ago
Implemented Alt+F10 and option 3 in r278 on trunk.

Original comment by andy.koppe on 1 May 2009 at 9:06

GoogleCodeExporter commented 9 years ago

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