Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-20 Thread Henry S. Thompson
Thomas Wolff writes: > Fixed in https://github.com/mintty/mintty/archive/master.zip Confirmed. Thanks! ht -- Henry S. Thompson, School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440 Fax: (44) 131

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-19 Thread Thomas Wolff
Am 13.07.2016 um 21:30 schrieb Thomas Wolff: Am 13.07.2016 um 07:56 schrieb Thomas Wolff: Am 12.07.2016 um 22:35 schrieb Michael Enright: On Tue, Jul 12, 2016 at 12:26 PM, Thomas Wolff wrote: Mintty generates "faux-bold" by overstriking with a pixel offset of 1. Maybe it should scale the

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-13 Thread Thomas Wolff
Am 13.07.2016 um 07:56 schrieb Thomas Wolff: Am 12.07.2016 um 22:35 schrieb Michael Enright: On Tue, Jul 12, 2016 at 12:26 PM, Thomas Wolff wrote: Mintty generates "faux-bold" by overstriking with a pixel offset of 1. Maybe it should scale the thickness with the font size (like it does now

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-12 Thread Thomas Wolff
Am 12.07.2016 um 22:35 schrieb Michael Enright: On Tue, Jul 12, 2016 at 12:26 PM, Thomas Wolff wrote: Mintty generates "faux-bold" by overstriking with a pixel offset of 1. Maybe it should scale the thickness with the font size (like it does now for manual underline and VT100 line drawing

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-12 Thread Michael Enright
On Tue, Jul 12, 2016 at 12:26 PM, Thomas Wolff wrote: > > Mintty generates "faux-bold" by overstriking with a pixel offset of 1. Maybe > it should scale the thickness with the font size (like it does now for > manual underline and VT100 line drawing graphics), at increased risk of > clipping,

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-12 Thread Thomas Wolff
Am 12.07.2016 um 17:27 schrieb Warren Young: ... Windows reports the font metrics of the bold font sometimes slightly differently than the normal font. Due to rounding, it depends on the font size, e.g. with DejaVu it happens with 12pt, 14pt, and larger, but not with 13pt, 11pt, and smaller.

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-12 Thread Brian Inglis
Warren Young etr-usa.com> writes: > On Jul 11, 2016, at 2:43 PM, Thomas Wolff towo.net> wrote: >> Am 11.07.2016 um 20:52 schrieb Henry S. Thompson: >>> To see what I'm talking about, look at whatever test page you like which >>> includes both bold and non-bold text (I use gnus). > I think the

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-12 Thread Warren Young
On Jul 12, 2016, at 9:09 AM, Henry S. Thompson wrote: > > Much easier: > >> export PS1='\[\033[1m\]\h\[\033[0m\]<\!>:' > > and your machine name should be bold. That is indeed what I see. > But I have a further (bizarre) observation: This problem is > size and/or

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-12 Thread Henry S. Thompson
Warren Young writes: > If you open the Fonts control panel, in the default Large Icons view, > do you see all four variants of Deja Vu Sans Mono stacked together? Yes. ht -- Henry S. Thompson, School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9AB,

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-12 Thread Henry S. Thompson
Thomas Wolff writes: > What "gnus" test page? Sorry, missed that question first time. I first noticed the problem when using gnus via ssh, not a very helpful test. Much easier: > export PS1='\[\033[1m\]\h\[\033[0m\]<\!>:' and your machine name should be bold. But I have a further

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-12 Thread Warren Young
On Jul 11, 2016, at 2:43 PM, Thomas Wolff wrote: > > Am 11.07.2016 um 20:52 schrieb Henry S. Thompson: >> >> To see what I'm talking about, look at whatever test page you like which >> includes both bold and non-bold text (I use gnus). > What "gnus" test page? gnus is a

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-12 Thread Warren Young
On Jul 11, 2016, at 12:52 PM, Henry S. Thompson wrote: > > To see what I'm talking about, look at whatever test page you like which > includes both bold and non-bold text (I use gnus). I used vttest: http://invisible-island.net/vttest/vttest.html About halfway through

Re: Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-11 Thread Thomas Wolff
Am 11.07.2016 um 20:52 schrieb Henry S. Thompson: Something funny going on: the normal/bold contrast is much less than it should be (used to be). I'm on a new laptop with clean install of Windows 10, Cygwin (64-bit), etc. To see what I'm talking about, look at whatever test page you like which

Mintty 2.4.0 and Deja Vu Sans Mono 2.35: issue with bold

2016-07-11 Thread Henry S. Thompson
Something funny going on: the normal/bold contrast is much less than it should be (used to be). I'm on a new laptop with clean install of Windows 10, Cygwin (64-bit), etc. To see what I'm talking about, look at whatever test page you like which includes both bold and non-bold text (I use gnus).