[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
@ID
From: |
Jeff Kingston |
Subject: |
@ID |
Date: |
Sat, 28 Aug 1993 10:01:41 +1000 |
How can i get @ID to indent on both left
*and* right margins?
You can't get it with @ID, you need some other
symbol (easily defined but not currently in
existence). Alternatively you could descend into
the depths and use
@ID { ... the display ... |@DispIndent }
which includes a right margin in the display itself.
But I don't recommend this kind of hack, it's better
to do things properly and add a new symbol (see my
previous posting about anticipating everyone's wants).
Jeff Kingston.
[Prev in Thread] |
Current Thread |
[Next in Thread] |