close method Null safety

  1. @deprecated
void close()

Closes the current window.

This is rather confusing and will be removed. Should replace all usages with window.close() or quit().

Implementation

@deprecated
void close() {
  window.close();
}