diff --git a/index.html b/index.html index c8a303e..6c54e64 100644 --- a/index.html +++ b/index.html @@ -17,8 +17,11 @@ height: 100%; } - .app { + body { margin: 0px; + } + + .app { /* same as ace editor */ font-family: Monaco, Menlo, "Ubuntu Mono", Consolas, source-code-pro, monospace; } diff --git a/src/editor/ui.js b/src/editor/ui.js index 80255d7..2d7a35f 100644 --- a/src/editor/ui.js +++ b/src/editor/ui.js @@ -111,10 +111,10 @@ export class UI { )) ) - this.root.addEventListener('keydown', () => this.clear_status(), true) - this.root.addEventListener('click', () => this.clear_status(), true) + window.addEventListener('keydown', () => this.clear_status(), true) + window.addEventListener('click', () => this.clear_status(), true) - this.root.addEventListener('keydown', e => { + window.addEventListener('keydown', e => { if(e.key == 'F2') { this.set_active_tab('calltree') }