class interface COLOR_DIALOG creation make (p: OVERLAPPED_WINDOW) -- Create. require valid: p /= Void ensure keep_reference: -- of p. feature(s) from STANDARD_DIALOG -- Execution has_selection: BOOLEAN -- Has the value been successfully selected? execute -- Display dialog box. require repaint_parent: -- not parent.device.is_ready ensure done: -- has_selection set feature(s) from COLOR_DIALOG -- Value set_color (clr: COLOR) -- Default colour. require valid: clr /= Void color: COLOR -- Selected colour. require done: has_selection ensure is_copy: Result /= Void invariant good_parent: parent /= Void; end of COLOR_DIALOG