diff options
Diffstat (limited to 'src/window-utils.js')
| -rw-r--r-- | src/window-utils.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/window-utils.js b/src/window-utils.js index 4d529ec..525cc40 100644 --- a/src/window-utils.js +++ b/src/window-utils.js @@ -425,6 +425,7 @@ let util = { document.getElementById(i +"-content-button2-sub").onclick = () => { rej("canceled by user") document.getElementById(i+"-root").remove() + refresh_windows() } document.getElementById(i+"-left-pane-resize-e").onmousedown = (ev) => { |