mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-03-01 03:51:59 +01:00
90 lines
2.6 KiB
TypeScript
90 lines
2.6 KiB
TypeScript
// Copyright 2025, Command Line Inc.
|
|
// SPDX-License-Identifier: Apache-2.0
|
|
|
|
let isJetBrainsMonoLoaded = false;
|
|
let isHackFontLoaded = false;
|
|
let isHackNerdFontLoaded = false;
|
|
let isInterFontLoaded = false;
|
|
|
|
function addToFontFaceSet(fontFaceSet: FontFaceSet, fontFace: FontFace) {
|
|
// any cast to work around typing issue
|
|
(fontFaceSet as any).add(fontFace);
|
|
}
|
|
|
|
function loadJetBrainsMonoFont() {
|
|
if (isJetBrainsMonoLoaded) {
|
|
return;
|
|
}
|
|
isJetBrainsMonoLoaded = true;
|
|
const jbmFontNormal = new FontFace("JetBrains Mono", "url('fonts/jetbrains-mono-v13-latin-regular.woff2')", {
|
|
style: "normal",
|
|
weight: "400",
|
|
});
|
|
const jbmFont200 = new FontFace("JetBrains Mono", "url('fonts/jetbrains-mono-v13-latin-200.woff2')", {
|
|
style: "normal",
|
|
weight: "200",
|
|
});
|
|
const jbmFont700 = new FontFace("JetBrains Mono", "url('fonts/jetbrains-mono-v13-latin-700.woff2')", {
|
|
style: "normal",
|
|
weight: "700",
|
|
});
|
|
addToFontFaceSet(document.fonts, jbmFontNormal);
|
|
addToFontFaceSet(document.fonts, jbmFont200);
|
|
addToFontFaceSet(document.fonts, jbmFont700);
|
|
jbmFontNormal.load();
|
|
jbmFont200.load();
|
|
jbmFont700.load();
|
|
}
|
|
|
|
function loadHackNerdFont() {
|
|
if (isHackNerdFontLoaded) {
|
|
return;
|
|
}
|
|
isHackFontLoaded = true;
|
|
const hackRegular = new FontFace("Hack", "url('fonts/hacknerdmono-regular.ttf')", {
|
|
style: "normal",
|
|
weight: "400",
|
|
});
|
|
const hackBold = new FontFace("Hack", "url('fonts/hacknerdmono-bold.ttf')", {
|
|
style: "normal",
|
|
weight: "700",
|
|
});
|
|
const hackItalic = new FontFace("Hack", "url('fonts/hacknerdmono-italic.ttf')", {
|
|
style: "italic",
|
|
weight: "400",
|
|
});
|
|
const hackBoldItalic = new FontFace("Hack", "url('fonts/hacknerdmono-bolditalic.ttf')", {
|
|
style: "italic",
|
|
weight: "700",
|
|
});
|
|
addToFontFaceSet(document.fonts, hackRegular);
|
|
addToFontFaceSet(document.fonts, hackBold);
|
|
addToFontFaceSet(document.fonts, hackItalic);
|
|
addToFontFaceSet(document.fonts, hackBoldItalic);
|
|
hackRegular.load();
|
|
hackBold.load();
|
|
hackItalic.load();
|
|
hackBoldItalic.load();
|
|
}
|
|
|
|
function loadInterFont() {
|
|
if (isInterFontLoaded) {
|
|
return;
|
|
}
|
|
isInterFontLoaded = true;
|
|
const interFont = new FontFace("Inter", "url('fonts/inter-variable.woff2')", {
|
|
style: "normal",
|
|
weight: "100 900",
|
|
});
|
|
addToFontFaceSet(document.fonts, interFont);
|
|
interFont.load();
|
|
}
|
|
|
|
function loadFonts() {
|
|
loadInterFont();
|
|
loadJetBrainsMonoFont();
|
|
loadHackNerdFont();
|
|
}
|
|
|
|
export { loadFonts };
|