()
| 287 | } |
| 288 | |
| 289 | private boolean copy() { |
| 290 | String s = textArea.getSelectedText(); |
| 291 | Clipboard clip = getToolkit().getSystemClipboard(); |
| 292 | if (clip!=null) { |
| 293 | StringSelection cont = new StringSelection(s); |
| 294 | clip.setContents(cont,this); |
| 295 | return true; |
| 296 | } else |
| 297 | return false; |
| 298 | } |
| 299 | |
| 300 | |
| 301 | private void cut() { |
no outgoing calls
no test coverage detected