diff options
| author | Devaev Maxim <[email protected]> | 2021-04-17 15:41:05 +0300 |
|---|---|---|
| committer | Devaev Maxim <[email protected]> | 2021-04-17 15:41:05 +0300 |
| commit | be012fd38d6f6f2d269dcbffd3aafe59a2a9a40c (patch) | |
| tree | 0742bf1e2934f8d882e9e7b3c81360d7204285ee /web/share/js/wm.js | |
| parent | 3a2ffcfd5c0591160333d1b347880f09eb2ee056 (diff) | |
terminal window
Diffstat (limited to 'web/share/js/wm.js')
| -rw-r--r-- | web/share/js/wm.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/web/share/js/wm.js b/web/share/js/wm.js index 7e4105da..44238447 100644 --- a/web/share/js/wm.js +++ b/web/share/js/wm.js @@ -263,6 +263,9 @@ function __WindowManager() { el_window.focus(); el_window.blur(); el_window.style.visibility = "hidden"; + if (el_window.close_hook) { + el_window.close_hook(); + } }; var __toggleMenu = function(el_a) { |