--- a/dwt/widgets/Widget.d	Wed Jun 03 00:36:31 2009 +0200
+++ b/dwt/widgets/Widget.d	Thu Jun 04 23:23:10 2009 +0200
@@ -210,6 +210,12 @@
     return string !is null ? string.getString () : null;
 }
 
+wchar[] getClipboardText16 () {
+    NSPasteboard pasteboard = NSPasteboard.generalPasteboard ();
+    NSString string = pasteboard.stringForType (OS.NSStringPboardType);
+    return string !is null ? string.getString16 () : null;
+}
+
 NSBezierPath getClipping () {
     return null;
 }
@@ -459,6 +465,13 @@
     pasteboard.setString (NSString.stringWithCharacters (buf.ptr, buf.length), OS.NSStringPboardType);
 }
 
+void copyToClipboard (wchar [] buffer) {
+    if (buffer.length is 0) return;
+    NSPasteboard pasteboard = NSPasteboard.generalPasteboard ();
+    pasteboard.declareTypes (NSArray.arrayWithObject (OS.NSStringPboardType), null);
+    pasteboard.setString (NSString.stringWithCharacters (buffer.ptr, buffer.length), OS.NSStringPboardType);
+}
+
 void createHandle () {
 }