Description Bruno Koeferli 2012-02-29 13:13:02 EST

Created attachment 211824 [details]
Patch implementing the PROPOSED SOLUTION

Build Identifier: 3.7.2

PROBLEM DESCRIPTION:
Windows taskbar, that's position is different to bottom, overlaps undecorated frames if the user maximizes it.

EVALUATION:
java.awt.Frame.setMaximizedBounds cannot handle the x/y coordinate value Integer.MAX_VALUE correctly even though it is state in javadoc (see JFrameEx.setExtendedState(int state):81-82)

PROPOSED SOLUTION:
Set the x/y coordinate directly by getting the toolkit's current screen insets [Toolkit.getScreenInsets(...)].
However due to the Java bug 6899304 (http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6899304) the attached solution only considers the insets for the primary screen device. For frames locating on other screen devices (not primary) empty insets will be returned. In Windows environments these circumstances (taskbar on a none primary screen) will be very rare and therefore ignored until the Java bug will be fixed in a future Java version.

Reproducible: Always