livebook-dev/livebook
1
1
Fork 0
mirror of https://github.com/livebook-dev/livebook.git synced 2024-11-10 09:03:02 +08:00
Code Issues Projects Releases Packages Wiki Activity

Fix issue with font-family detection (#157)

Browse source
This commit is contained in:
José Valim 2021-04-12 18:31:10 +02:00 committed by GitHub
parent c6f9c54f31
commit e1bab06168
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
assets/js/cell/live_editor/monaco.js
View file

@ -68,7 +68,8 @@ monaco.editor.defineTheme("custom", {
// Without this selecting text with whitespace shrinks the whitespace.
document.fonts.addEventListener("loadingdone", (event) => {
const jetBrainsMonoLoaded = event.fontfaces.some(
(fontFace) => fontFace.family === "JetBrains Mono"
// font-family may be either "JetBrains Mono" or "\"JetBrains Mono\""
(fontFace) => fontFace.family.includes("JetBrains Mono")
);
if (jetBrainsMonoLoaded) {