The current selection is copied to the clipboard.
8182838485868788899091
if (id.equals(ActionFactory.CUT.getId())) { text.cut(); return true; } if (id.equals(ActionFactory.COPY.getId())) { text.copy(); return true; } if (id.equals(ActionFactory.PASTE.getId())) { text.paste(); return true;
8889909192939495969798
doSearch(); } } else if (e.stateMask == SWT.CTRL && e.keyCode == 'c') { searchBox.copy(); } } private void doSearch() { String text = searchBox.getText();