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