21.7 Defaultstyle Interface

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

-- GUIenvLib: attributes --

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


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