From 8908b16f72729353464d6afdb95e83622558a603 Mon Sep 17 00:00:00 2001 From: Fernando Schauenburg Date: Thu, 31 Oct 2019 19:53:27 +0100 Subject: [PATCH] Improvements to mintty options --- dotfiles/.minttyrc | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/dotfiles/.minttyrc b/dotfiles/.minttyrc index 88579f7..1e1df5e 100644 --- a/dotfiles/.minttyrc +++ b/dotfiles/.minttyrc @@ -1,11 +1,16 @@ BoldAsFont=no Charset=UTF-8 -Columns=120 +Columns=130 CursorType=underscore -Font=Consolas +Font=Source Code Pro Medium FontHeight=9 +FontWeight=400 +Hold=error Locale=en_US -Rows=60 +OpaqueWhenFocused=yes +Rows=64 Scrollbar=none +SelectionShowSize=6 Term=xterm-256color -Transparency=off +Transparency=low +Utmp=yes