? plaf
Index: ChangeLog
===================================================================
RCS file: /cvs/gcc/gcc/libjava/ChangeLog,v
retrieving revision 1.2582
diff -u -r1.2582 ChangeLog
--- ChangeLog	21 Jan 2004 14:39:14 -0000	1.2582
+++ ChangeLog	21 Jan 2004 20:09:45 -0000
@@ -1,3 +1,13 @@
+2004-01-21  Kim Ho  <address@hidden>
+
+	* gnu/java/awt/peer/gtk/GtkFramePeer.java (postConfigureEvent):
+	Fix comments.
+	(removeMenuBarPeer): Make package private.
+	(setMenuBarPeer): Make package private.
+	* native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c
+	(menubar_resize_cb): Mark attributes unused.
+	(getMenuBarHeight): ditto.
+
 2004-01-21  David Jee  <address@hidden>
 
 	* java/awt/Container.java
Index: gnu/java/awt/peer/gtk/GtkFramePeer.java
===================================================================
RCS file: /cvs/gcc/gcc/libjava/gnu/java/awt/peer/gtk/GtkFramePeer.java,v
retrieving revision 1.10
diff -u -r1.10 GtkFramePeer.java
--- gnu/java/awt/peer/gtk/GtkFramePeer.java	20 Jan 2004 20:56:53 -0000	1.10
+++ gnu/java/awt/peer/gtk/GtkFramePeer.java	21 Jan 2004 20:09:45 -0000
@@ -57,8 +57,8 @@
   private MenuBarPeer menuBar;
   native int getMenuBarHeight (MenuBarPeer bar);
 
-  native public void setMenuBarPeer (MenuBarPeer bar);
-  native public void removeMenuBarPeer (MenuBarPeer bar);
+  native void setMenuBarPeer (MenuBarPeer bar);
+  native void removeMenuBarPeer (MenuBarPeer bar);
 
   public void setMenuBar (MenuBar bar)
   {
@@ -145,12 +145,13 @@
   protected void postConfigureEvent (int x, int y, int width, int height)
   {
     int frame_x = x - insets.left;
-    // Add the height of the menubar (if none, menuBarHeight is 0 and has no
-    // effect). To move the frame down a bit so as to still fit in the window.
+    // Since insets.top includes the MenuBar height, we need to add back
+    // the MenuBar height to the frame's y position.
+    // If no MenuBar exists in this frame, the MenuBar height will be 0.
     int frame_y = y - insets.top + menuBarHeight;
     int frame_width = width + insets.left + insets.right;
-    // Add the height of the menubar to adjust the height so it still fits in
-    // the window.
+    // Ditto as above. Since insets.top already includes the MenuBar's height,
+    // we need to subtract the MenuBar's height from the top inset.
     int frame_height = height + insets.top + insets.bottom - menuBarHeight;
     if (frame_x != awtComponent.getX()
         || frame_y != awtComponent.getY()
Index: jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c
===================================================================
RCS file: /cvs/gcc/gcc/libjava/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c,v
retrieving revision 1.17
diff -u -r1.17 gnu_java_awt_peer_gtk_GtkWindowPeer.c
--- native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c	19 Jan 2004 18:41:52 -0000	1.17
+++ native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c	21 Jan 2004 20:09:46 -0000
@@ -410,7 +410,7 @@
 
 JNIEXPORT jint JNICALL
 Java_gnu_java_awt_peer_gtk_GtkFramePeer_getMenuBarHeight
-  (JNIEnv *env, jobject obj, jobject menubar)
+  (JNIEnv *env, jobject obj __attribute__((unused)), jobject menubar)
 {
   GtkWidget *ptr;
   jint height;
@@ -722,7 +722,8 @@
   return FALSE;
 }
 
-static void menubar_resize_cb (GtkWidget *widget, GtkAllocation *alloc, 
+static void menubar_resize_cb (GtkWidget *widget __attribute__((unused)), 
+                               GtkAllocation *alloc __attribute__((unused)), 
                                jobject peer)
 {
   static int id_set = 0;