diff options
| author | Po Lu | 2024-04-03 20:41:08 +0800 |
|---|---|---|
| committer | Po Lu | 2024-04-03 20:41:08 +0800 |
| commit | 1f5a2c75e60484d9040e5a6e4912bdbed07c9294 (patch) | |
| tree | b70b048b6d36c1f4f0bba57efd7d7454b4046723 /java | |
| parent | a0da5d04baeca2c159122b11370f828ba8887b4f (diff) | |
| download | emacs-1f5a2c75e60484d9040e5a6e4912bdbed07c9294.tar.gz emacs-1f5a2c75e60484d9040e5a6e4912bdbed07c9294.zip | |
Prevent detachWindow from deleting frames
* java/org/gnu/emacs/EmacsWindowManager.java (detachWindow):
Remove WINDOW from the window list prior to pruning.
Diffstat (limited to 'java')
| -rw-r--r-- | java/org/gnu/emacs/EmacsWindowManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/org/gnu/emacs/EmacsWindowManager.java b/java/org/gnu/emacs/EmacsWindowManager.java index fb4ef6344b2..21df77587b0 100644 --- a/java/org/gnu/emacs/EmacsWindowManager.java +++ b/java/org/gnu/emacs/EmacsWindowManager.java | |||
| @@ -246,8 +246,8 @@ public final class EmacsWindowManager | |||
| 246 | consumer.destroy (); | 246 | consumer.destroy (); |
| 247 | } | 247 | } |
| 248 | 248 | ||
| 249 | pruneWindows (); | ||
| 250 | windows.remove (window); | 249 | windows.remove (window); |
| 250 | pruneWindows (); | ||
| 251 | } | 251 | } |
| 252 | 252 | ||
| 253 | public void | 253 | public void |