diff options
author | Boris Shingarov <bshingar> | 2002-04-02 04:02:56 +0000 |
---|---|---|
committer | Boris Shingarov <bshingar> | 2002-04-02 04:02:56 +0000 |
commit | 3cefad89df2451da31eab5e2880117feeab1b52a (patch) | |
tree | e67d9925d63d1564fa9e0f8334e7988493f798a0 /bundles/org.eclipse.swt/Eclipse SWT | |
parent | 409a123696989eacd1cb9554049424178de59c99 (diff) | |
download | eclipse.platform.swt-3cefad89df2451da31eab5e2880117feeab1b52a.tar.gz eclipse.platform.swt-3cefad89df2451da31eab5e2880117feeab1b52a.tar.xz eclipse.platform.swt-3cefad89df2451da31eab5e2880117feeab1b52a.zip |
gdk_window_set_decorations() back
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT')
-rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java index 53b3177b5f..99577a3548 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java +++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java @@ -378,6 +378,11 @@ void createHandle (int index) { boolean modal = (style & (SWT.PRIMARY_MODAL | SWT.APPLICATION_MODAL | SWT.SYSTEM_MODAL)) != 0; OS.gtk_window_set_modal (shellHandle, modal); int decorations = 0; + /* + * High level GTK helpers, like gtk_window_set_decorated, simply + * use gdk_window_set_decorations() with specific values. + * Therefore we use that function manually. + */ if ((style & SWT.NO_TRIM) == 0) { if ((style & SWT.MIN) != 0) decorations |= OS.GDK_DECOR_MINIMIZE; if ((style & SWT.MAX) != 0) decorations |= OS.GDK_DECOR_MAXIMIZE; @@ -392,11 +397,11 @@ void createHandle (int index) { * kind of border is requested. */ if ((style & SWT.RESIZE) != 0) decorations |= OS.GDK_DECOR_BORDER; - } + } OS.gtk_widget_realize (shellHandle); int window = OS.GTK_WIDGET_WINDOW (shellHandle); // TEMPORARY CODE - trim does not work for dialogs -// OS.gdk_window_set_decorations (window, decorations); + OS.gdk_window_set_decorations (window, decorations); accelGroup = OS.gtk_accel_group_new (); OS.gtk_window_add_accel_group (shellHandle, accelGroup); |