From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp.jhmg.net (smtp.jhmg.net [45.55.176.36]) by sourceware.org (Postfix) with ESMTPS id 12F163846411 for ; Mon, 26 Apr 2021 18:37:19 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 12F163846411 Received: from [192.168.10.7] (c-73-11-123-33.hsd1.or.comcast.net [73.11.123.33]) (using TLSv1.2 with cipher AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.jhmg.net (Postfix) with ESMTPSA id 610D1400CE for ; Mon, 26 Apr 2021 14:37:18 -0400 (EDT) DKIM-Filter: OpenDKIM Filter v2.11.0 smtp.jhmg.net 610D1400CE Reply-To: jhg@acm.org Subject: Re: mintty window border? To: cygwin@cygwin.com References: <65d75c6b-b532-562d-22a9-a2e2a1b1b37d@jhmg.net> From: Jim Garrison Message-ID: <18a9f44e-976f-e079-416e-2afee200efea@jhmg.net> Date: Mon, 26 Apr 2021 11:37:18 -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 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-3.1 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, NICE_REPLY_A, SPF_HELO_PASS, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: cygwin@cygwin.com X-Mailman-Version: 2.1.29 Precedence: list List-Id: General Cygwin discussions and problem reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 26 Apr 2021 18:37:20 -0000 On 4/25/2021 5:15 PM, Mark Geisert wrote: > Jim Garrison via Cygwin wrote: >> 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? > > As Thomas pointed out, not mintty's fault.  I ran into the same issue on > first upgrade to Windows 10.  Windows 7 allowed one to set window > borders; Windows 8 and up don't.  But one can adjust registry entries to > fix the issue.  Check here: > https://www.thewindowsclub.com/change-desktop-windows-metrics-border-width-windows-8 > > The fix outlined there works for Windows 10 too. > HTH, > > ..mark > Perfect, that's exactly what I need. Thanks. -- Jim Garrison jhg@acm.org