From 38646ae3153ce2bd8e36c9cdd97a2fb42b131a68 Mon Sep 17 00:00:00 2001 From: Raphael Jolly Date: Thu, 12 Dec 2019 10:12:24 +0100 Subject: [PATCH] empty --- wm/src/linoleum/wm/WindowManager.java | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/wm/src/linoleum/wm/WindowManager.java b/wm/src/linoleum/wm/WindowManager.java index 7ccea3da..37e59b9c 100644 --- a/wm/src/linoleum/wm/WindowManager.java +++ b/wm/src/linoleum/wm/WindowManager.java @@ -291,9 +291,11 @@ private void unmap() { client.early_unmapped = false; if (client.state != HIDDEN) { client.state = UNMANAGED; - client.set_wm_state(Window.WMState.WITHDRAWN); - client.change_save_set(true); +// client.set_wm_state(Window.WMState.WITHDRAWN); +// client.change_save_set(true); } + closed = true; + doDefaultCloseAction(); } private void when_configure_notify(final ConfigureNotify event) { @@ -437,7 +439,7 @@ public void componentResized(java.awt.event.ComponentEvent evt) { }// //GEN-END:initComponents private void formInternalFrameActivated(javax.swing.event.InternalFrameEvent evt) {//GEN-FIRST:event_formInternalFrameActivated - if (client != null && mapped && !closed && !isIcon()) { + if (client != null && !closed && !isIcon()) { if (client.early_unmapped || client.early_destroyed) { return; } @@ -457,7 +459,7 @@ private void formInternalFrameClosed(javax.swing.event.InternalFrameEvent evt) { }//GEN-LAST:event_formInternalFrameClosed private void formInternalFrameDeactivated(javax.swing.event.InternalFrameEvent evt) {//GEN-FIRST:event_formInternalFrameDeactivated - if (client != null && mapped && !closed) { + if (client != null && !closed) { if (client.early_unmapped || client.early_destroyed) { return; }