next up previous contents index
Next: SET FONT Up: SET Previous: SET DECIMAL   Contents   Index


SET EXPAND

        [GREG1\]SET EXPAND E

    Expands all characters or markers by a factor E. Default is 1.


Gildas manager 2024-03-28