graphics: REPRESENTATION: text_attributes


CHARACTER-EXPANSION

  Font designers stipulate a given ratio between height and width
  of a given character. You may overrule this ratio by choosing
  an expansion different from 1.

CHARACTER-HEIGHT

  The height of the character, the width is adjusted automatically.

CHARACTER-SPACING

  If you wish extra spacing, ask for a number larger than 0.

TEXT-COLOUR

  The colour used to plot the text.

  Two colours are known on every workstation: BACKGROUND and
  FOREGROUND. If your workstation allows, you may add further
  colours yourself using !COLOUR.

TEXT-FONT

  The font from which the characters are taken. If you choose
  a fancy font, you may have to switch to high precision to
  see the effect.

Additional Information on:

  • HIGZ
  • GTS-GRAL

  • TEXT-PRECISION

      Changes the quality of the character representation.
      GKS has 3 different qualities from which you may choose:
    

    Additional Information on:

  • STROKE
  • CHARACTER
  • STRING

  • Keyword index. Formatted on 10/11/98.