deferred class interface CLIPBOARD_OBJECT

feature(s) from CLIPBOARD_OBJECT
   has_selection: BOOLEAN
      --  Is there a current selection?


   cut_selection
      --  Cut the current selection to the clipboard.

      require
         has_selection: has_selection

   copy_selection
      --  Copy the current selection to the clipboard.

      require
         has_selection: has_selection

   paste_clipboard
      --  Paste current clipboard to object.

      ensure
         has_selection: has_selection

   delete_selection
      --  Delete current selection.

      require
         has_selection: has_selection

   select_all
      --  Select everything.



end of deferred CLIPBOARD_OBJECT