/[classpath]/classpath/native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c
ViewVC logotype

Diff of /classpath/native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.53 by fitzsim, Thu Aug 18 01:22:00 2005 UTC revision 1.54 by fitzsim, Sun Aug 21 16:57:43 2005 UTC
# Line 1412  window_get_frame_extents (GtkWidget *win Line 1412  window_get_frame_extents (GtkWidget *win
1412    
1413    /* Guess frame extents in case _NET_FRAME_EXTENTS is not    /* Guess frame extents in case _NET_FRAME_EXTENTS is not
1414       supported. */       supported. */
1415    *top = 23;    if (gtk_window_get_decorated (GTK_WINDOW (window)))
1416    *left = 6;      {
1417    *bottom = 6;        *top = 23;
1418    *right = 6;        *left = 6;
1419          *bottom = 6;
1420          *right = 6;
1421        }
1422      else
1423        {
1424          *top = 0;
1425          *left = 0;
1426          *bottom = 0;
1427          *right = 0;
1428        }
1429    
1430    /* Request that the window manager set window's    /* Request that the window manager set window's
1431       _NET_FRAME_EXTENTS property. */       _NET_FRAME_EXTENTS property. */

Legend:
Removed from v.1.53  
changed lines
  Added in v.1.54

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26