1 |
/* gtkwindowpeer.c -- Native implementation of GtkWindowPeer |
/* gtkwindowpeer.c -- Native implementation of GtkWindowPeer |
2 |
Copyright (C) 1998, 1999, 2002 Free Software Foundation, Inc. |
Copyright (C) 1998, 1999, 2002, 2004 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
413 |
|
|
414 |
/* Check if the current window manager supports |
/* Check if the current window manager supports |
415 |
_NET_REQUEST_FRAME_EXTENTS. */ |
_NET_REQUEST_FRAME_EXTENTS. */ |
416 |
if (gdk_net_wm_supports (request_extents)) |
/* FIXME: The window->window != NULL check is a workaround for bug |
417 |
|
http://bugzilla.gnome.org/show_bug.cgi?id=17952. */ |
418 |
|
if (gdk_net_wm_supports (request_extents) && window->window != NULL) |
419 |
{ |
{ |
420 |
GdkDisplay *display = gtk_widget_get_display (window); |
GdkDisplay *display = gtk_widget_get_display (window); |
421 |
Display *xdisplay = GDK_DISPLAY_XDISPLAY (display); |
Display *xdisplay = GDK_DISPLAY_XDISPLAY (display); |