Re: [go-nuts] bug report?: go font box drawing is wrong

2016-12-21 Thread Nigel Tao 
On Mon, Nov 28, 2016 at 5:28 PM,   wrote:
> The ascenders for blocks, lines, etc are all wrong and it's very
> distracting. I'm enjoying go mono in the terminal so far but it's tedious to
> go through every file and delete the problematic character ranges. Can these
> be removed from the font until they're done properly or just copied from a
> font that does it right like DejaVu?

Huh, I'm having problems reproducing this. Can you elaborate on what
OS and terminal emulator you're using? As a stab in the dark, can you
also copy/paste the output of running "locale"?

-- 
You received this message because you are subscribed to the Google Groups 
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to golang-nuts+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [go-nuts] bug report?: go font box drawing is wrong

2016-11-28 Thread Nigel Tao 
On Mon, Nov 28, 2016 at 5:28 PM,   wrote:
> Sorry if this is the wrong place.

This place is as good as any other. Thanks for the bug report. I'll
pass it on to Bigelow & Holmes.

-- 
You received this message because you are subscribed to the Google Groups 
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to golang-nuts+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[go-nuts] bug report?: go font box drawing is wrong

2016-11-27 Thread seanphaugh 
The ascenders for blocks, lines, etc are all wrong and it's very 
distracting. I'm enjoying go mono in the terminal so far but it's tedious 
to go through every file and delete the problematic character ranges. Can 
these be removed from the font until they're done properly or just copied 
from a font that does it right like DejaVu?

Sorry if this is the wrong place. 

-- 
You received this message because you are subscribed to the Google Groups 
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to golang-nuts+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.