On Tue, May 29, 2012 at 9:34 PM, Eric Iverson eric.b.iver...@gmail.com wrote:
The long standing proposal is that someone model the desired behavior in J
and then we'll look at incorpporating it in the primitive format.
On Wed, May 30, 2012 at 11:36 PM, June Kim (김창준) junea...@gmail.com wrote:
For unicode strings, the width of a word is not the sum of its
individual glyphs. Its height is not the maximum over its
individual glyph either. So that I doubt if that can be done in pure J.
Чтв, 31 Май 2012, Raul Miller писал(а):
On Tue, May 29, 2012 at 9:34 PM, Eric Iverson
Hi David,
As a J user with Korean language as a mother tongue, I have that pain, too.
Currently I deal with it in two options:
1. HTML table :
http://www.jsoftware.com/jwiki/Essays/Boxed%20Array%20Display#HTMLoutput
2. using unicode character width data with fixed width fonts :
There is a little problem with wide characters and boxing.
diceFaces =: 4 u: 16b2680 + i. 6
diceFaces
⚀⚁⚂⚃⚄⚅
0 diceFaces
+---+---+---+---+---+---+
|⚀|⚁|⚂|⚃|⚄|⚅|
+---+---+---+---+---+---+
The top and bottmm row seen to think there are more chars. Probably some
kind of utf8 thing.
To be fair,
This is a known problem. It has haunted us for years. We love our unicode
and we love our boxes but they are not completely happy.
The long standing proposal is that someone model the desired behavior in J
and then we'll look at incorpporating it in the primitive format.
A short while ago there