window top-level property

dynamic get window

Implementation

dynamic get window {
  return html.window;
}