Re: mintty window border?

[Jim Garrison <jhg@jhmg.net>]

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