Name: rlT66838 Date: 07/08/97


I reported this bug last week, but never received the automated acknowledgment.
I'm resending to make sure it got through.

I discovered this problem in an application which, on closing, saves its
current screen position and size, and uses that information to restore itself
the next time it's run. I observed that the application's window got a little
shorter in height each time I ran it.

I have pruned the program down to the shortest demo I could construct that
exhibits the problem. The following demonstration program calls pack(), then
setSize(), pauses 2 seconds, and then displays the frame size. Even though
setSize() seems to set the frame size correctly, after the two second pause,
the reported frame height is shorter by 19 pixels. For this problem to occur,
it seems to be a necessary condition for at least one menu to be on the menubar
of the frame. On some of the Windows systems to which I have access (WinNT
4.0), the problem seems to be reproducible just using pack(), but on others
(Win95) it required a call to pack() and then setSize(). My demonstration
uses both since that reproduces the problem on all Windows systems to which I
have access.

This demonstration shows that the frame height immediately after the call to
setSize() is 200, just as it should be, yet two seconds later it's 181. Also
observe the strange insets for the frame. The bottom inset is negative 15!

If, instead of instantiating a Frame, I instantiate a class derived from Frame
which reports any resize attempts (by overriding reshape(int,int,int,int),
through which all resizing operations are routed by Component), I see no
resize operations in that 2-second interval!
 --------------------------------------------------------------------------
import java.awt.*;
import java.awt.event.*;

class SizeDemo extends WindowAdapter {
   Frame f;
   public static void main(String[] args) {new SizeDemo();}

   SizeDemo() {
      f = new Frame("Frame size bug demo");
      f.addWindowListener(this);

      MenuBar mb = new MenuBar();
      mb.add(new Menu("File"));
      f.setMenuBar(mb);

      f.add(new TextArea(10, 80));

      f.pack();
      System.out.println("Frame size after pack() is " + f.getSize());
      System.out.println("Frame insets are " + f.getInsets());

      f.setSize(300, 200);
      System.out.println("Frame size after setSize() is " + f.getSize());
      try {Thread.sleep(2000);} catch (InterruptedException e) {}
      System.out.println("After 2-second pause: "+f.getSize());

      f.show();
      System.out.println("Frame size after showing is " + f.getSize());
   }

   public void windowClosing(WindowEvent e) {
      System.out.println("Frame size on finish is "+f.getSize());
      System.exit(0);
   }
}


company - IBM , email - ###@###.###
======================================================================