406407408409410411412413414415416
System.exit(0); } @Override public Clipboard getClipboard () { return new Clipboard() { @Override public void setContents (String content) { UIPasteboard.getGeneral().setString(content); }
380381382383384385386387388389390
} @Override public Clipboard getClipboard () { // FIXME implement clipboard return new Clipboard() { @Override public void setContents (String content) { } @Override
399400401402403404405406407408409
return pref; } @Override public Clipboard getClipboard() { return new Clipboard() { @Override public String getContents () { return null; }
405406407408409410411412413414415