};
// Copies selection to clipboard if the clipboard support is available
- void CopySelection(ClipboardType t = Secondary);
+ //
+ // returns true if anything was copied to clipboard, false otherwise
+ bool CopySelection(ClipboardType t = Secondary);
#if wxUSE_CLIPBOARD
// Convert selection to text: