Ark/leporello-js
1
0
Fork 0
mirror of https://github.com/leporello-js/leporello-js synced 2026-01-13 21:14:28 -08:00
Code Issues Packages Projects Releases Wiki Activity

UI fixes

Browse Source
This commit is contained in:
Dmitry Vasilev
2022-10-26 00:39:22 +08:00
parent 6a11e1d0d8
commit 9ab8ddec68
2 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
index.html
View File

@@ -17,8 +17,11 @@
height: 100%; height: 100%;
} }
.app { body {
margin: 0px; margin: 0px;
}
.app {
/* same as ace editor */ /* same as ace editor */
font-family: Monaco, Menlo, "Ubuntu Mono", Consolas, source-code-pro, monospace; font-family: Monaco, Menlo, "Ubuntu Mono", Consolas, source-code-pro, monospace;
} }

6
src/editor/ui.js
View File

@@ -111,10 +111,10 @@ export class UI {
)) ))
) )
this.root.addEventListener('keydown', () => this.clear_status(), true) window.addEventListener('keydown', () => this.clear_status(), true)
this.root.addEventListener('click', () => this.clear_status(), true) window.addEventListener('click', () => this.clear_status(), true)
this.root.addEventListener('keydown', e => { window.addEventListener('keydown', e => {
if(e.key == 'F2') { if(e.key == 'F2') {
this.set_active_tab('calltree') this.set_active_tab('calltree')
} }