(form "70027" (size 40 6)

  (help "70027_TIP_0")

  (heading "VIEW WIDTH" )

  (label (position  5  3) (text "Slice width"))

  (field "slice_width" (position 20  3) (display_length 12)
    (input allowed)
    (translate upper)
    (max_length 20)
    (format real_8)
    (low_bound 0.0)
    (null disallowed)
    (default "5.0")
    (help "70027_TIP_1")
  )

  (default_buttons)
)