#2491 jedit does not recognize screen resolution changes

[Anonymous]

WinXP laptop (1024x768) + external display (1600x1200);
desktop extended from laptop to external display.

normally jEdit works great (all jEdit windows behave as
expected)

HOWEVER:

When I'm mobile (no secondary display) jEdit still
opens windows (save, open, etc) in the now non-existent
range of the desktop. When the laptop is mobile, the
reso is 1024x768, and the secondary monitor is disabled.

Is there anyway to avoid this/make jEdit recognize what
the available screen real estate is, and keep all
windows/controls within this area?

thanks!

[Nobody/Anonymous]

Logged In: NO

sorry, btw:

jedit 4.2final

[K. Edward Bolino]

Logged In: YES
user_id=1033566

java.awt.Window provides a method
getGraphicsConfiguration(), which returns a
java.awt.GraphicsConfiguration object that represents the
window environment; this object provides a method
getBounds(), which returns a java.awt.Rectangle representing
the desktop area. A simple algorithm to check that the
Window (which may be one of the subclasses of
java.awt.Window, like java.awt.Frame, or as in this case
javax.swing.JFrame) fits within the bounds of the
GraphicsConfiguration would solve this issue.

[Robert Schwenn]

Logged In: YES
user_id=1486645
Originator: NO

jEdit remembers the position of it's child windows in the "properties" file. As long as there is no other solution You could use two different settings directories. It can be specified at the command line:
javaw -jar jedit.jar "settings=<dir>"

In the simplest case you could copy the desktop shortcut for jedit, rename them to "jEdit 1 Monitor" and "jEdit 2 Monitors" and edit the two command lines in it's properties. It's only a workaround, of course.

[Matthieu Casanova]

I think it is fixed now