()
| 1322 | } |
| 1323 | |
| 1324 | public void doCopy() { |
| 1325 | StringWriter writer = new StringWriter(); |
| 1326 | try { |
| 1327 | if (treeViewer.getSelectionMode() == TreePaneSelector.SelectionMode.TAXA) { |
| 1328 | writeTaxa(writer); |
| 1329 | } else { |
| 1330 | writeTreeFile(writer, ExportTreeDialog.Format.NEXUS, true, false, false, true, true); |
| 1331 | } |
| 1332 | } catch (IOException e) { |
| 1333 | e.printStackTrace(); |
| 1334 | } |
| 1335 | |
| 1336 | Clipboard clipboard = Toolkit.getDefaultToolkit().getSystemClipboard(); |
| 1337 | |
| 1338 | StringSelection selection = new StringSelection(writer.toString()); |
| 1339 | |
| 1340 | clipboard.setContents(selection, selection); |
| 1341 | } |
| 1342 | |
| 1343 | public void doPaste() { |
| 1344 | Clipboard clipboard = Toolkit.getDefaultToolkit().getSystemClipboard(); |
nothing calls this directly
no test coverage detected