[ jEdit-devel ] [ jedit-Bugs-497301 ] Maximized window gets bigger every time

[<no...@so...>]

Bugs item #497301, was opened at 2001-12-28 02:44
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=497301&group_id=588

Category: editor core
Group: minor bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Maik Schreiber (blizzy)
Assigned to: Nobody/Anonymous (nobody)
Summary: Maximized window gets bigger every time

Initial Comment:
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.

----------------------------------------------------------------------

Comment By: Nobody/Anonymous (nobody)
Date: 2002-04-29 11:12

Message:
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
gg...@um...

----------------------------------------------------------------------

Comment By: Alexander Maryanovsky (sasha-m)
Date: 2002-04-26 04:45

Message:
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.

----------------------------------------------------------------------

Comment By: Maik Schreiber (blizzy)
Date: 2001-12-29 19:49

Message:
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.

----------------------------------------------------------------------

Comment By: Maik Schreiber (blizzy)
Date: 2001-12-28 02:49

Message:
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.

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=497301&group_id=588