diff --git a/roles/mintty/files/config b/roles/mintty/files/config index 1e1df5e..d0c0577 100644 --- a/roles/mintty/files/config +++ b/roles/mintty/files/config @@ -1,6 +1,7 @@ BoldAsFont=no Charset=UTF-8 Columns=130 +CtrlAltIsAltGr=yes CursorType=underscore Font=Source Code Pro Medium FontHeight=9