livebook-dev/livebook
1
1
Fork 0
mirror of https://github.com/livebook-dev/livebook.git synced 2025-10-09 21:16:26 +08:00
Code Issues Projects Releases Packages Wiki Activity

Specify editor fallback font

Browse source
This commit is contained in:
Jonatan Kłosko 2021-05-04 15:48:26 +02:00
parent 89ab9de677
commit dc605aa209
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
assets/css/utilities.css
View file

@ -9,6 +9,6 @@
} }
.font-editor { .font-editor {
font-family: "JetBrains Mono"; font-family: "JetBrains Mono", "Droid Sans Mono", "monospace";
font-size: 14px; font-size: 14px;
} }

2
assets/js/cell/live_editor.js
View file

@ -102,7 +102,7 @@ class LiveEditor {
occurrencesHighlight: false, occurrencesHighlight: false,
renderLineHighlight: "none", renderLineHighlight: "none",
theme: "custom", theme: "custom",
fontFamily: "JetBrains Mono", fontFamily: "JetBrains Mono, Droid Sans Mono, monospace",
tabIndex: -1, tabIndex: -1,
quickSuggestions: false, quickSuggestions: false,
tabCompletion: "on", tabCompletion: "on",