04f8f7d982
80x24 is too small for me (and maybe others?) and it's not that obvious that you can change the size in the settings, so maybe a larger default helps new users.
14 lines
376 B
Diff
14 lines
376 B
Diff
--- mintty-3.6.1/src/config.c.orig 2022-04-24 16:35:43.000000000 +0200
|
|
+++ mintty-3.6.1/src/config.c 2022-07-06 14:52:46.761720300 +0200
|
|
@@ -150,8 +150,8 @@
|
|
.allow_set_selection = false,
|
|
.selection_show_size = false,
|
|
// Window
|
|
- .cols = 80,
|
|
- .rows = 24,
|
|
+ .cols = 100,
|
|
+ .rows = 27,
|
|
.rewrap_on_resize = false,
|
|
.scrollbar = 1,
|
|
.scrollback_lines = 10000,
|