DefaultNamesRep:
TYPE =
RECORD [
printerHost: ROPE, -- host name, including brackets, as in "[Printer]"
fontHost: ROPE, -- host name for users, including brackets, as in "[Fonts]"
currentSystem: ROPE, -- system root directory, including host, as in "[Printer]<CedarPS>"
currentFont: ROPE, -- font root directory, including host, as in "[Fonts]<CedarPS>"
printerType: ROPE -- printer type as in "Raven"
];
Set:
PROC [new: DefaultNames];
No error checking is performed, so the caller is presumed to be both honest and careful.
If new = NIL, the defaults are rest to the initial state.