new object $page_desktop_login: $page; var $dmi_data descriptions = #[]; var $root created_on = 864277988; var $root flags = ['variables, 'methods, 'code, 'core]; var $root inited = 1; var $root managed = [$page_desktop_login]; var $root manager = $page_desktop_login; public method .content_frame() { arg headers, info, args; return [["<html>", "<head><title>User Desktop</title></head>", "<body bgcolor=\"#ffffff\">", "Content Frame", "</body>", "</html>"]]; }; public method .generate() { arg headers, info, args; return [["<html>", "<head><title>User Desktop</title></head>", "<frameset rows=\"50,*\">", "<frame name=\"nav\" src=\"/page_desktop_login/nav_frame\">", "<frame name=\"content\" src=\"/\">", "</frameset>", "<noframe>", "<body bgcolor=\"#ffffff\">", "You must support frames", "</body>", "</noframe>", "</html>"]]; }; public method .nav_frame() { arg headers, info, args; return [["<html>", "<head><title>User Desktop</title></head>", "<body bgcolor=\"#ffffff\">", "<a href=\"/bin/help\" target=\"content\">Help</a> |", "<a href=\"/bin/object\" target=\"content\">Browse Objects</a> |", "<a href=\"/bin/describe\" target=\"content\">Browse VR World</a> |", "<a href=\"/bin/who\" target=\"content\">Who</a> |", "<a href=\"/desktop/web_prefs/config\" target=\"content\">Configure Preferences</a>", "</body>", "</html>"]]; };