2015-04-01 10:45:56 -07:00
|
|
|
/**
|
|
|
|
* JS version of browser APIs. This library can only run in the browser.
|
|
|
|
*/
|
|
|
|
var win = window;
|
|
|
|
|
|
|
|
export {win as window};
|
|
|
|
export var document = window.document;
|
|
|
|
export var location = window.location;
|
2015-05-20 17:19:46 -07:00
|
|
|
export var gc = window['gc'] ? () => window['gc']() : () => null;
|
2015-04-23 13:15:20 -07:00
|
|
|
export const Event = Event;
|
|
|
|
export const MouseEvent = MouseEvent;
|
|
|
|
export const KeyboardEvent = KeyboardEvent;
|