function close() {
  const window = global.display.focus_window;
  if (window !== null && window.can_close()) {
    window.delete(global.get_current_time());
  }
}
// Grabs the focus window and deletes it.
Grabs the focus window and deletes it.
Grabs the focus window and deletes it .
function close() {
  const window = global.display.focus_window;
  if (window !== null && window.can_close()) {
    window.delete(global.get_current_time());
  }
}
function close ( ) { const window = global . display . focus_window ; if ( window !== null && window . can_close ( ) ) { window . delete ( global . get_current_time ( ) ) ; } }
Grabs the focus window and deletes it.
Grabs the focus window and deletes it .