(form "00234" (size 61  6) (mismatch ignore)
   (help "00234_TIP_0")
  (heading "CREATE A POSTSCRIPT FILE")
  (label (position  2  3) 
    (text "Enter the name of the Post Script file to create"))
  (label (position  2  4) 
     (text "File name"))
  (field "file" (position 15  4) (display_length 40) (input allowed)
    (null allowed) (max_length 40)
    (file output (extension "*.ps,*eps")))
  (default_buttons)
)
