reduced height of mintty terminal. Now the height is good for monitor and laptop