Function addToFontFaceSet

frontend/util/fontutil.ts:9–12

(fontFaceSet: FontFaceSet, fontFace: FontFace)

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) {