Upstream/waveterm
1
0
Fork 0
mirror of https://github.com/wavetermdev/waveterm.git synced 2025-01-02 18:39:05 +01:00
Code Issues Packages Projects Releases Wiki Activity

initialize lhe (#364)

Browse Source
This commit is contained in:
Mike Sawka 2024-03-01 00:14:28 -08:00 committed by GitHub
parent b5d481734f
commit 089862d990
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/models/model.ts
View File

@ -188,6 +188,14 @@ class Model {
document.addEventListener("keydown", this.docKeyDownHandler.bind(this)); document.addEventListener("keydown", this.docKeyDownHandler.bind(this));
document.addEventListener("selectionchange", this.docSelectionChangeHandler.bind(this)); document.addEventListener("selectionchange", this.docSelectionChangeHandler.bind(this));
setTimeout(() => this.getClientDataLoop(1), 10); setTimeout(() => this.getClientDataLoop(1), 10);
this.lineHeightEnv = {
// defaults
fontSize: 12,
fontSizeSm: 10,
lineHeight: 15,
lineHeightSm: 13,
pad: 7,
};
} }
static getInstance(): Model { static getInstance(): Model {