[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[cp-patches] improve insets guess for frameless window
From: |
Thomas Fitzsimmons |
Subject: |
[cp-patches] improve insets guess for frameless window |
Date: |
Sun, 21 Aug 2005 13:00:36 -0400 |
Hi,
A better guess for undecorated window insets is 0, 0, 0, 0. This fixes
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19863 and
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22946
Tom
2005-08-21 Thomas Fitzsimmons <address@hidden>
* native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c
(window_get_frame_extents): If window is not decorated, guess 0,
0, 0, 0 inset values.
Index: native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c
===================================================================
RCS file:
/cvsroot/classpath/classpath/native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c,v
retrieving revision 1.53
diff -u -r1.53 gnu_java_awt_peer_gtk_GtkWindowPeer.c
--- native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c 18 Aug 2005
01:22:00 -0000 1.53
+++ native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c 21 Aug 2005
16:51:45 -0000
@@ -1412,10 +1412,20 @@
/* Guess frame extents in case _NET_FRAME_EXTENTS is not
supported. */
- *top = 23;
- *left = 6;
- *bottom = 6;
- *right = 6;
+ if (gtk_window_get_decorated (GTK_WINDOW (window)))
+ {
+ *top = 23;
+ *left = 6;
+ *bottom = 6;
+ *right = 6;
+ }
+ else
+ {
+ *top = 0;
+ *left = 0;
+ *bottom = 0;
+ *right = 0;
+ }
/* Request that the window manager set window's
_NET_FRAME_EXTENTS property. */
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [cp-patches] improve insets guess for frameless window,
Thomas Fitzsimmons <=