21.7 Defaultstyle Interface

ORIGIN '../guienv';
BODY 'private/defaultstylebody';

-- GUIenvLib: attributes --

defaultStyle:
  (# style: ^textStyle;
  ...
  exit style[]
  #)

21.7 Defaultstyle Interface
 © 1994-2002 Mjølner Informatics
[Modified: Wednesday August 16th 1995 at 16:32]