91         /* If this selection is not owned, the other monitored selection must be the most  in MonitorSelection()
103     /* Save last owned selection */  in MonitorSelection()
108     /* Save new selection owner or None */  in MonitorSelection()
150   /* Retrieve the selection data and delete the property */  in winClipboardSelectionNotifyTargets()
279                 /* Setup selection notify xevent */  in winClipboardFlushXEvents()
284                 eventSelection.selection = event.xselectionrequest.selection;  in winClipboardFlushXEvents()
465             /* Setup selection notify event */  in winClipboardFlushXEvents()
470             eventSelection.selection = event.xselectionrequest.selection;  in winClipboardFlushXEvents()
504                 /* Setup selection notify event */  in winClipboardFlushXEvents()
509                 eventSelection.selection = event.xselectionrequest.selection;  in winClipboardFlushXEvents()
545                                            event.xselection.selection);  in winClipboardFlushXEvents()
556               (i) Generated by the X server if no owner for the specified selection exists  in winClipboardFlushXEvents()
558               (ii) Sent by the selection owner when the requested selection conversion could  in winClipboardFlushXEvents()
572             /* Retrieve the selection data and delete the property */  in winClipboardFlushXEvents()
742             /* Push the selection data to the Windows clipboard */  in winClipboardFlushXEvents()
792                 /* Save selection owners for monitored selections, ignore other selections */  in winClipboardFlushXEvents()
793                 if ((e->selection == XA_PRIMARY) && fPrimarySelection) {  in winClipboardFlushXEvents()
796                 else if (e->selection == atomClipboard) {  in winClipboardFlushXEvents()
802                 /* Selection is being disowned */  in winClipboardFlushXEvents()
815 …          /* If we are the owner of the most recently owned selection, don't go all recursive :) */  in winClipboardFlushXEvents()