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
j...@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
