(form "01110" (size 44 7) (help "00624_TIP_0") (heading "COLOUR FILL ATTRIBUTES") (label (position 2 3) (text "Colour")) (field "pen_colour" (position 14 3) (display_length 25) (max_length 40) (input allowed) (help "00624_TIP_1")) (field "priority" (position 14 4) (display_length 10) (foreground (user_option "form_background")) (background (user_option "form_background")) (max_length 40) (input disallowed) (help "01110_TIP_2")) (default_buttons) )