Lines Matching defs:selection
41 * A class which interfaces with the X11 selection service in order to support
46 private final XSelection selection;
69 selection = new XSelection(XAtom.get(selectionName));
70 selection.registerOwershipListener(this);
90 if (!selection.setOwner(contents, formatMap, formats,
98 return selection.getSelectionAtom().getAtom();
111 selection.reset();
116 return selection.getTargets(XToolkit.getCurrentServerTime());
120 return selection.getData(format, XToolkit.getCurrentServerTime());
147 XAtom.get("XAWT_TARGETS_OF_SELECTION:" + selection.getSelectionAtom().getName());
222 selection.getSelectionAtom().getAtom(),
249 if (null == changedSelection || changedSelection != selection) {
250 // unknown selection - do nothing
256 if (selection.isOwner()) {
257 // selection is owner - do not need formats
264 // We treat None property atom as "empty selection".