Method code for $directories.set_default_page()

[Turn on line numbering]
arg name, definer, value;

default_page = value;

// Brad Roberts
// Bruce Mitchener, Jr.
// Created 16-May-1997 as a part of ColdCore, see: @help Credit

Tlon