Title: | DOCUMENT T1.0 |
Notice: | **New notesfile (DOCUMENT.NOTE) now available (see note 897)** |
Moderator: | CLOSET::ADLER |
Created: | Mon Feb 09 1987 |
Last Modified: | Thu Oct 31 1991 |
Last Successful Update: | Fri Jun 06 1997 |
Number of topics: | 897 |
Total number of notes: | 4397 |
Due to "internal pressure" I've given in to hacking (what else should one do?) a Scan procedure for RNO --> SDML. I'd like to be able to translate the DSR tag # (=space) into a fixed space. TeX knows it as a ~ , but does Document have a "required space" ? (To discourage people from using it, it could be defined as <BLANK_SPACE_FOR_THOSE_WHO_REALLY_WANT_IT> rather than <S> ( :) ) ) Theo
T.R | Title | User | Personal Name | Date | Lines |
---|---|---|---|---|---|
746.1 | AUTHOR::WELLCOME | Steve | Tue Aug 04 1987 14:50 | 8 | |
Do it as <ALIGN_CHAR>(#) The text containing the#number sign as a fixed space. <ENDALIGN_CHAR> maybe? I'm not sure if <ALIGN_CHAR> is valid in all contexts though. | |||||
746.2 | no flash | VAXUUM::SEGAL | Tue Aug 04 1987 15:02 | 9 | |
It's invalid in math and has restrictions in monospaced examples. The TeX side of the tag is to use \phantom{0} for each # within the <align_char>(#) ... <endalign_char> group. The size of the 'fixed' space is relative to the font, and will vary according to context (which is what you want when you are typesetting rather than typewriting). Lee |