mintty window border?
Jim Garrison
jhg@jhmg.net
Mon Apr 26 18:37:18 GMT 2021
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
More information about the Cygwin
mailing list