Attachment 147096 Details for Bug 289346 – Proposed fix

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] Proposed fix

set-type-hint-for-tool-shell.diff (text/plain), 1.24 KB, created by Danny Baumann

on 2009-09-14 09:03:54 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Danny Baumann

Created: 2009-09-14 09:03:54 EDT

Size: 1.24 KB

patch

obsolete

>--- plugins/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java.orig	2009-09-14 14:56:25.000000000 +0200
>+++ plugins/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java	2009-09-14 14:56:42.000000000 +0200
>@@ -375,6 +375,7 @@
> 	public static final int GTK_WINDOW_POPUP = 0x1;
> 	public static final int GTK_WINDOW_TOPLEVEL = 0x0;
> 	public static final int GDK_WINDOW_TYPE_HINT_DIALOG = 1;
>+	public static final int GDK_WINDOW_TYPE_HINT_UTILITY = 5;
> 	public static final int GDK_WINDOW_TYPE_HINT_TOOLTIP = 10;
> 	public static final int GTK_WRAP_NONE = 0;
> 	public static final int GTK_WRAP_WORD = 2;
>--- plugins/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java.orig	2009-09-14 14:54:03.000000000 +0200
>+++ plugins/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java	2009-09-14 14:58:10.000000000 +0200
>@@ -679,6 +679,9 @@
> 			OS.gtk_style_get_black (OS.gtk_widget_get_style (shellHandle), color);
> 			OS.gtk_widget_modify_bg (shellHandle,  OS.GTK_STATE_NORMAL, color);
> 		}
>+		if (style & SWT.TOOL) {
>+			OS.gtk_window_set_type_hint(shellHandle, OS.GDK_WINDOW_TYPE_HINT_UTILITY);
>+		}
> 	} else {
> 		vboxHandle = OS.gtk_bin_get_child (shellHandle);
> 		if (vboxHandle == 0) error (SWT.ERROR_NO_HANDLES);

Actions: View | Diff

Attachments on bug 289346: 147096