#!/usr/bin/perl -w

# $Id: draw_folder_extras.pl,v 1.1 1996/01/24 14:11:55 hoagland Exp $

# draw_folder_extras.pl, by Jim Hoagland (hoagland@cs) 1/96

# this routine generates the folder extras display page for the ARPA
# IDS demo GUI
# its arguments indicates the state, the working set to display if we
# go to a folder page, and the folder to perhaps create a subfolder in.

require 5.000;

require '/pkg/www/arpa/secret/cgi-bin/gui-helper.pl';

sub draw_folder_extras {
  ($state,$ws,$folder)= @_; 

  print "Content-type: text/html\n\n";
  &output_instantiated_file('/pkg/www/arpa/secret/gui/html-src/folder_extras.html',*STDOUT,
			    '<!!! Insert folder descr here !!!>',($folder?'"'.$folder.'"':'(all)'),
			    '<!!! Insert folder here !!!>',$folder,
			    '<!!! Insert WS here !!!>',$ws,
			    '<!!! Insert folder selection here !!!>',&folder_options);
}

1;