lout-users
[Top][All Lists]
Advanced

[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]