#4129 jEdit full-screen lies under Windows task bar

[Robert Schwenn]

Windows 10/11, 64 Bit
Open JDK 11 - 21 (Adoptium)
jEdit 5.6

When You choose View->Toggle full-screen mode, the active view is inlarged to take up the full display. And it used to cover the Windows task bar. But now the task bar is visible and thus hides a part of the jedit full-screen view. Since jEdit 5.6 doesn't run with Java 8, I testet jEdit 5.3.0 with both Java 8 and 11 => Java 8 is fine, with Java 11 the undsired behavior is shown.

It would be really nice, if this could be changed back to the desired behavior.