Upstream/waveterm
1
0
Fork 0
mirror of https://github.com/wavetermdev/waveterm.git synced 2025-03-11 13:23:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

backport font fix to v0.6.x series

Browse Source
This commit is contained in:
sawka 2024-02-18 17:56:36 -08:00
parent b271c55054
commit 634b71104a
3 changed files with 7 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
go.work.sum
View File

@ -1,3 +1,4 @@
github.com/aws/aws-sdk-go-v2/service/s3 v1.27.11 h1:3/gm/JTX9bX8CpzTgIlrtYpB3EVBDxyg/GY/QdcIEZw=
github.com/google/go-querystring v1.1.0 h1:AnCroh3fv4ZBgVIf1Iwtovgjaw/GiKJo8M8yD/fhyJ8= github.com/google/go-querystring v1.1.0 h1:AnCroh3fv4ZBgVIf1Iwtovgjaw/GiKJo8M8yD/fhyJ8=
github.com/kevinburke/ssh_config v1.2.0 h1:x584FjTGwHzMwvHx18PXxbBVzfnxogHaAReU4gf13a4= github.com/kevinburke/ssh_config v1.2.0 h1:x584FjTGwHzMwvHx18PXxbBVzfnxogHaAReU4gf13a4=
github.com/kevinburke/ssh_config v1.2.0/go.mod h1:CT57kijsi8u/K/BOFA39wgDQJ9CxiF4nAY/ojJ6r6mM= github.com/kevinburke/ssh_config v1.2.0/go.mod h1:CT57kijsi8u/K/BOFA39wgDQJ9CxiF4nAY/ojJ6r6mM=

10
src/app/line/lines.less
View File

@ -84,11 +84,14 @@
} }
.meta.meta-line1 { .meta.meta-line1 {
margin-left: 2px;
color: rgba(@base-color, 0.6) !important; color: rgba(@base-color, 0.6) !important;
font-size: 11px; font-size: 11px;
} }
.meta.meta-line2 {
margin-left: -2px;
}
&.has-rtnstate .terminal-wrapper { &.has-rtnstate .terminal-wrapper {
padding-bottom: 0; padding-bottom: 0;
} }
@ -113,11 +116,6 @@
overflow-x: hidden; overflow-x: hidden;
} }
.terminal {
margin-right: 8px;
padding: 0.25rem;
}
&.cmd-done .terminal .xterm-cursor { &.cmd-done .terminal .xterm-cursor {
display: none; display: none;
} }

5
src/index.ts
View File

@ -20,14 +20,9 @@ document.addEventListener("DOMContentLoaded", () => {
let reactElem = React.createElement(App, null, null); let reactElem = React.createElement(App, null, null);
let elem = document.getElementById("app"); let elem = document.getElementById("app");
let root = createRoot(elem); let root = createRoot(elem);
let isFontLoaded = document.fonts.check("12px 'JetBrains Mono'");
if (isFontLoaded) {
root.render(reactElem);
} else {
document.fonts.ready.then(() => { document.fonts.ready.then(() => {
root.render(reactElem); root.render(reactElem);
}); });
}
}); });
(window as any).mobx = mobx; (window as any).mobx = mobx;