1 2
void gui_get_clipboard(char **buffer, size_t *length); void gui_set_clipboard(const char *buffer, size_t length, nsclipboard_styles styles[], int n_styles);