(form "00335" (size 54 13)
  (heading "Unload Maps")

  (field "filename" (position 15  3) (display_length 32) (input allowed)
    (null disallowed) 
    (file output (extension "*.txt"))
    (max_length 32) (default "map.txt"))

  (scroll_block "main" (position 14 6) (size 25  5) (extra  0  1)
    (scroll_size 25 20) 
    (repeat interactive (grow 0 1) (instances 1 (min 1) (max 20)))
    (top
    )
    (main
      (field "map_name" (position 1  0) (display_length 20) (input allowed)
        (translate upper) (null allowed) (max_length 32)))
  )
  (default_buttons)
)
