DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 89F203858025
To: cygwin@cygwin.com
Subject: mintty window border?
Message-ID: <65d75c6b-b532-562d-22a9-a2e2a1b1b37d@jhmg.net>
Date: Sun, 25 Apr 2021 14:49:02 -0700
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
 Firefox/78.0 Thunderbird/78.10.0
MIME-Version: 1.0
Content-Language: en-US
From: Jim Garrison via Cygwin <cygwin@cygwin.com>
Reply-To: jhg@acm.org
Cc: Jim Garrison <jhg@jhmg.net>
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="us-ascii"; Format="flowed"
Sender: "Cygwin" <cygwin-bounces@cygwin.com>

Mintty's window does not seem to have any border at the left and bottom.
The top of the window has the title menu bar and the right side is the
scroll bar.  When I have multiple mintty windows open, and they overlap,
since there is no border, one window blends into another.

I searched mintty's options and there doesn't seem to be a way to
specify a border.  If the window background is a light color, there's
a subtle drop shadow that helps a bit, but with a dark style it's
impossible to distinguish the windows.

Here's a sample:
https://drive.google.com/file/d/10zKWdie_nA-_hzsN8i_GeCw7VadJBmol/view?usp=sharing

Is there a way to make it draw a border?

-- 
Jim Garrison
jhg@acm.org

-- 
Problem reports:      https://cygwin.com/problems.html
FAQ:                  https://cygwin.com/faq/
Documentation:        https://cygwin.com/docs.html
Unsubscribe info:     https://cygwin.com/ml/#unsubscribe-simple