#863 Maximized window gets bigger every time

[Maik Schreiber]

When using jEdit in maximized window mode, the window
gets bigger everytime it is started. To reproduce, open
jEdit, then maximize the window (perhaps switch to
normal window mode first). Close it, then restart. The
window gets wider and taller by a few pixels. When
restarting again, it gets even bigger, and so on.

This didn't appear on Windows 2000, but I'm
experiencing this on SuSE Linux 7.2 with gnome-core
1.4.0.1 and sawfish 0.38.

If you need additional information, drop me a note.

[Maik Schreiber]

Logged In: YES
user_id=97048

Actually, the window mode doesn't matter. The bug also
appears when the window is in "normal" mode - it gets bigger
every time jEdit is restarted.

[Maik Schreiber]

Logged In: YES
user_id=97048

Update: I saw this happen with Sun JDK 1.3.0_04 on Linux. It
does not appear with 1.4.0-beta3, where it works perfectly.

[Alexander Maryanovsky]

Logged In: YES
user_id=503759

It seems that the bounds returned by Frame.getBounds() are incorrect
(The x value is too small and the width is too big). This could be related to
this bug:
http://developer.java.sun.com/developer/bugParade/bugs/4378450.html.
An
interesting thing to note is that after I played with it for a while, it
stopped occurring, but now I've noticed that the reported (by
getBounds()) height is smaller by 4 pixels (exactly the value of
getInsets().bottom - coincidence?) than it should be - very
consistently.

Alexander Maryanovsky.

[Nobody/Anonymous]

Logged In: NO

I see this on Win XP.

Also - If Jedit is closed while maximized, it takes the
maximized size as it's new "standard" size. I think it
should not - it should re-open either a) as maximized, to
that size, or b) in normal size, whatever that was the
last time it was normal.

Thanks!

- Glenn R. Golden
ggolden@umich.edu

[Slava Pestov]

Logged In: YES
user_id=2280

pre7 rememebers maximization state.