From cdb1331506bf4845cf83efa3d8680c181d33af97 Mon Sep 17 00:00:00 2001 From: Raphael Jolly Date: Thu, 14 Mar 2019 10:33:34 +0100 Subject: [PATCH] empty --- wm/src/linoleum/wm/WindowManager.java | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/wm/src/linoleum/wm/WindowManager.java b/wm/src/linoleum/wm/WindowManager.java index aed21534..1a55e2a4 100644 --- a/wm/src/linoleum/wm/WindowManager.java +++ b/wm/src/linoleum/wm/WindowManager.java @@ -39,7 +39,6 @@ public class WindowManager extends PreferenceSupport { private final Map frames = new HashMap<>(); private final Logger logger = Logger.getLogger(getClass().getName()); private boolean closed; - private boolean config; // internal state public static final int UNMANAGED = 0; @@ -267,9 +266,13 @@ private void when_configure_notify(final ConfigureNotify event) { } private void configure(final Rectangle bounds) { - config = true; - setBounds(bounds.x - panel.getX(), bounds.y - panel.getY() - getContent().getY(), bounds.width - panel.getWidth() + getWidth(), bounds.height - panel.getHeight() + getHeight()); - config = false; + final int x = bounds.x - panel.getX(); + final int y = bounds.y - panel.getY() - getContent().getY(); + final int width = bounds.width - panel.getWidth() + getWidth(); + final int height = bounds.height - panel.getHeight() + getHeight(); + if (x != getX() || y != getHeight() || width != getWidth() || height != getHeight()) { + setBounds(x, y, width, height); + } } private Container getContent() { @@ -449,14 +452,14 @@ private void formInternalFrameIconified(javax.swing.event.InternalFrameEvent evt }//GEN-LAST:event_formInternalFrameIconified private void formComponentMoved(java.awt.event.ComponentEvent evt) {//GEN-FIRST:event_formComponentMoved - if (client != null && !config) { + if (client != null) { client.move(getX() + panel.getX(), getY() + panel.getY() + getContent().getY()); getOwner().display.flush(); } }//GEN-LAST:event_formComponentMoved private void formComponentResized(java.awt.event.ComponentEvent evt) {//GEN-FIRST:event_formComponentResized - if (client != null && !config) { + if (client != null) { client.resize(panel.getWidth(), panel.getHeight()); getOwner().display.flush(); }