diff options
author | Praveen Innamuri <pinnamuri> | 2010-01-21 12:37:42 +0000 |
---|---|---|
committer | Praveen Innamuri <pinnamuri> | 2010-01-21 12:37:42 +0000 |
commit | dc8910e2570a57169419a0857ad6c707fc6cb97a (patch) | |
tree | 95a9bb7a356ff9d227c7325a1075f85621134202 /bundles/org.eclipse.swt/Eclipse SWT Drag and Drop | |
parent | 76da61555d4df6c9fe5592c29cc84234a9a3ddcb (diff) | |
download | eclipse.platform.swt-dc8910e2570a57169419a0857ad6c707fc6cb97a.tar.gz eclipse.platform.swt-dc8910e2570a57169419a0857ad6c707fc6cb97a.tar.xz eclipse.platform.swt-dc8910e2570a57169419a0857ad6c707fc6cb97a.zip |
153809 - (Continued Patch..) Copy / Cut on Linux is very flakey with 3.2
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT Drag and Drop')
-rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT Drag and Drop/gtk/org/eclipse/swt/dnd/ClipboardProxy.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT Drag and Drop/gtk/org/eclipse/swt/dnd/ClipboardProxy.java b/bundles/org.eclipse.swt/Eclipse SWT Drag and Drop/gtk/org/eclipse/swt/dnd/ClipboardProxy.java index 69e121b97b..bdc2d39784 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT Drag and Drop/gtk/org/eclipse/swt/dnd/ClipboardProxy.java +++ b/bundles/org.eclipse.swt/Eclipse SWT Drag and Drop/gtk/org/eclipse/swt/dnd/ClipboardProxy.java @@ -30,6 +30,7 @@ class ClipboardProxy { Object[] primaryClipboardData; Transfer[] primaryClipboardDataTypes; + int /*long*/ clipboardOwner = OS.gtk_window_new(0); Display display; Clipboard activeClipboard = null; Clipboard activePrimaryClipboard = null; @@ -37,7 +38,6 @@ class ClipboardProxy { Callback clearFunc; static String ID = "CLIPBOARD PROXY OBJECT"; //$NON-NLS-1$ - static int /*long*/ clipboardOwner = OS.gtk_window_new(0); static ClipboardProxy _getInstance(final Display display) { ClipboardProxy proxy = (ClipboardProxy) display.getData(ID); @@ -99,6 +99,7 @@ void dispose () { clipboardDataTypes = null; primaryClipboardData = null; primaryClipboardDataTypes = null; + if (clipboardOwner != 0) OS.gtk_widget_destroy (clipboardOwner); clipboardOwner = 0; } |