(form "00321" (size 41 10) (mismatch ignore)
  (heading "IMAGE FILE DUMP")
  (label (position  2  3) (text "Function"))
  (label (position  2  4) (text "Define file type to create"))
  (label (position  2  5) (text "Filename"))
  (label (position 15  6) (text "(no extension required)"))
  (label (position  2  7) (text "Area to save"))
  (label (position  2  8) (text "X resolution"))
  (label (position  2  9) (text "Y resolution"))
  (field "function" (position 17  3) (display_length  16) 
    (foreground (user_option "form_foreground"))(background)
    (input disallowed)
  )
  (field "file_type" (position 17  4) (display_length  10) (input allowed)
    (value_in "gif" "png")
     (default "gif")
    (translate lower) (null allowed)
    )
  (field "filename" (position 17  5) (display_length 20) (input allowed)
    (max_length 26)
    (translate lower) (null disallowed)
    (file output (extension trim "*.gif,*.png"))
    )
  (field "copy_type" (position 17  7) (display_length  10) (input allowed)
    (value_in "workspace" "viewport")
     (default "workspace")
    (translate lower) (null allowed) (max_length 9)
    )
  (field "xres" (position 17  8) (display_length  5) (input allowed)
    (low_bound 1) (high_bound 10000)
    (format integer_4) (null disallowed) (max_length 5)
    )
  (field "yres" (position 17 9) (display_length  5) (input allowed)
    (low_bound 1) (high_bound 10000)
    (format integer_4) (null disallowed) (max_length 5)
    (help (field "xres")))
(default_buttons)
)
