On Mon, Jan 16 2012, Hans Hagen wrote:
> Not really ... some time ago the code dealing with those spaces was adapted to
> deal with tagging and at that point some decisions were made (after all,
> these things were not available in mkii so untill code gets cleaned up and
> stabelizes antything ca
On 16-1-2012 23:08, Peter Münster wrote:
On Mon, Jan 16 2012, Hans Hagen wrote:
all those lovely incompatible names ... anyhow, so you want em/8 instead of
space/8 ..
It would be nice. But probably, you had a reason to change it to
space/8, didn't you?
Not really ... some time ago the code
On Mon, Jan 16 2012, Hans Hagen wrote:
> all those lovely incompatible names ... anyhow, so you want em/8 instead of
> space/8 ..
It would be nice. But probably, you had a reason to change it to
space/8, didn't you?
--
Peter
___
On 16-1-2012 19:53, Peter Münster wrote:
On Mon, Jan 16 2012, Hans Hagen wrote:
well, it's a space and therefore a valid breakpoint (i.e. it's not
\sixperemnonbreakspace)
So the answer is "no, there is no unicode equivalent for \," ?
What about NARROW NO-BREAK SPACE ? About 1 or 2 years ago
On Mon, Jan 16 2012, Hans Hagen wrote:
> well, it's a space and therefore a valid breakpoint (i.e. it's not
> \sixperemnonbreakspace)
So the answer is "no, there is no unicode equivalent for \," ?
What about NARROW NO-BREAK SPACE ? About 1 or 2 years ago, it was the
same width as \, but now it'
On 15-1-2012 23:27, Peter Münster wrote:
On Sun, Jan 15 2012, Wolfgang Schuster wrote:
\|\sixperemspace\|
No, there is a line break:
\starttext
\hsize1pt
bla\sixperemspace bla
\stoptext
well, it's a space and therefore a valid breakpoint (i.e. it's not
\sixperemnonbreakspace)
Hans
---
On Sun, Jan 15 2012, Wolfgang Schuster wrote:
> \|\sixperemspace\|
No, there is a line break:
\starttext
\hsize1pt
bla\sixperemspace bla
\stoptext
--
Peter
___
If your question is of interest to others a
Am 15.01.2012 um 22:19 schrieb Peter Münster:
> Hello,
>
> What Unicode character can replace "\,"?
>
> "NARROW NO-BREAK SPACE" is too small:
>
> \starttext
> \|\,\| \type{\,}\par
> \| \| THIN SPACE (U+2009) (why smaller than \type{\,}?)\par
> \| \| NARROW NO-BREAK SPACE (U+202F) (why almost n
Hello,
What Unicode character can replace "\,"?
"NARROW NO-BREAK SPACE" is too small:
\starttext
\|\,\| \type{\,}\par
\| \| THIN SPACE (U+2009) (why smaller than \type{\,}?)\par
\| \| NARROW NO-BREAK SPACE (U+202F) (why almost nothing?)\par
\|\| nothing\par
\|~\| \type{~}\par
\| \| NO-BREAK SPAC