class interface CLIPBOARD_PALETTE creation make (p: WINDOW) -- Create clipboard object. require valid: p /= Void and then p.is_valid ensure keep_reference: parent = p feature(s) from CLIPBOARD -- Clipboard access put -- Put the current information in the clipboard. get -- Get information from the clipboard. require has_selection: has_data ensure done: -- has_result set has_data: BOOLEAN -- Is palette available? has_result: BOOLEAN -- Result of last get operation. feature(s) from CLIPBOARD_PALETTE -- Data set_palette (pal: PALETTE) -- Set text to be copied to the clipboard. require valid: pal /= Void ensure keep_reference: palette = pal feature(s) from CLIPBOARD_PALETTE -- Result last_palette: PALETTE -- Last retrieved palette. require possible: has_result ensure is_copy: Result /= Void end of CLIPBOARD_PALETTE