new object $help_lib: $libraries; var $help_lib default_node = $help_coldcore; var $help_lib indices = [$help_index_function, $help_index_objects, $help_index_subsystem, $help_index_driver, $help_index_cmds, $help_index_core]; var $root created_on = 805931416; var $root flags = ['methods, 'code, 'variables, 'core]; var $root inited = 1; var $root managed = [$help_lib]; var $root manager = $help_lib; public method .default_node() { return default_node; }; public method .group_nodes_in_html() { arg nodes, noemph, @args; var name, names, n; names = []; for n in (nodes) { if (n in noemph) name = n.name(); else name = .node_name_in_html(n); names += [name]; } return names.to_english(@args); }; public method .history_cap() { return 15; }; public method .indices() { return indices; }; public method .node_name_in_html() { arg node; return ((("<a href=\"/bin/help?" + node) + "\">") + (node.name())) + "</a>"; }; public method .set_indices() { arg @new; var o; (> .perms(sender()) <); if (filter o in (new) where ((type(o) != 'objnum) || (!(o.is($help_index))))) throw(~type, "Arguments must be $help_index objects."); // do this all at once so you can manage the order indices = new; };