ui/main.js
// Called when DOM and Monaco API are ready.
Called when DOM and Monaco API are ready.
Called when DOM and Monaco API are ready .
function onLoad () {
	registerEvents();
	router.refresh();
	menu.load();
}
function onLoad ( ) { registerEvents ( ) ; router . refresh ( ) ; menu . load ( ) ; }
Called when DOM and Monaco API are ready.
Called when DOM and Monaco API are ready .