* Space gobbling after »
@ 2004-11-03 10:49 Giuseppe Bilotta
2004-11-03 11:16 ` Hans Hagen
0 siblings, 1 reply; 2+ messages in thread
From: Giuseppe Bilotta @ 2004-11-03 10:49 UTC (permalink / raw)
Test file:
\enableregime[il1]
\starttext
Problems « with » spaces.
\stoptext
You will notice that the space after » gets globbed.
Bug in symb-glm:
\startencoding [default]
\definecharacter leftguillemot {\symbol[xleftguillemot]}
\definecharacter rightguillemot {\symbol[xrightguillemot]}
\definecharacter guilsingleleft {\symbol[xguilsingleleft]}
\definecharacter guilsingleright {\symbol[xguilsingleright]}
\stopencoding
should be
\startencoding [default]
\definecharacter leftguillemot {\symbol[xleftguillemot]\relax}
\definecharacter rightguillemot {\symbol[xrightguillemot]\relax}
\definecharacter guilsingleleft {\symbol[xguilsingleleft]\relax}
\definecharacter guilsingleright {\symbol[xguilsingleright]\relax}
\stopencoding
because now \symbol makes forward character lookup looking for
a second optional parameter.
--
Giuseppe "Oblomov" Bilotta
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Space gobbling after »
2004-11-03 10:49 Space gobbling after » Giuseppe Bilotta
@ 2004-11-03 11:16 ` Hans Hagen
0 siblings, 0 replies; 2+ messages in thread
From: Hans Hagen @ 2004-11-03 11:16 UTC (permalink / raw)
Giuseppe Bilotta wrote:
> should be
ok, patched; (i'll see ifi can fix this in the symbol handler)
Hans
-----------------------------------------------------------------
Hans Hagen | PRAGMA ADE
Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
| www.pragma-pod.nl
-----------------------------------------------------------------
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2004-11-03 11:16 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-11-03 10:49 Space gobbling after » Giuseppe Bilotta
2004-11-03 11:16 ` Hans Hagen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).