X11: generate clipboard update events (thanks, "chw"!).

Partially fixes Bugzilla #2266.
This commit is contained in:
Ryan C. Gordon 2015-05-26 21:29:45 -04:00
parent 059a030716
commit c69a559239

View file

@ -1219,6 +1219,16 @@ X11_DispatchEvent(_THIS)
} }
break; break;
case SelectionClear: {
Atom XA_CLIPBOARD = X11_XInternAtom(display, "CLIPBOARD", 0);
if (xevent.xselectionclear.selection == XA_PRIMARY ||
(XA_CLIPBOARD != None && xevent.xselectionclear.selection == XA_CLIPBOARD)) {
SDL_SendClipboardUpdate();
}
}
break;
default:{ default:{
#ifdef DEBUG_XEVENTS #ifdef DEBUG_XEVENTS
printf("window %p: Unhandled event %d\n", data, xevent.type); printf("window %p: Unhandled event %d\n", data, xevent.type);