/* ----------------------------------------------------------------- * COPY & PASTE * ----------------------------------------------------------------- */ static void copy(gui_handle handle, const char *text, gui_size size) { gui_char buffer[1024]; UNUSED(handle); if (size >= 1023) return; memcpy(buffer, text, size); buffer[size] = '\0'; clipboard_set(buffer); }
void clipboard_selection_set (const std::string &s) { clipboard_set(s); }