Lines Matching defs:selection
180 // Returns whether the event is a selection event
203 // Returns whether it is a property event for the specified selection transfer
790 // Set the specified property to the selection converted to the requested target
798 if (request->selection == _glfw.x11.PRIMARY)
932 reply.xselection.selection = request->selection;
939 static const char* getSelectionString(Atom selection)
945 if (selection == _glfw.x11.PRIMARY)
950 if (XGetSelectionOwner(_glfw.x11.display, selection) ==
970 selection,
1076 "X11: Failed to convert selection to string");
1878 // Push contents of our selection to clipboard manager
1905 // This means one of two things; either the selection
3078 "X11: Failed to become owner of clipboard selection");
3343 "X11: Failed to become owner of primary selection");