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 650-458
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 thic
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 for
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 graphi
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, howev
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. I
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 vtt
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 resolution-related:
>
>
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, SCO
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 (bizarre)
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 full-screen terminal new
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 menu option 2, you get
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
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).
14 matches
Mail list logo
