mirror of
https://github.com/livebook-dev/livebook.git
synced 2025-09-04 20:14:57 +08:00
Hardcode font size to 14 for consistency
This commit is contained in:
parent
b732fa3179
commit
2dbfb562ea
1 changed files with 1 additions and 0 deletions
|
@ -157,6 +157,7 @@ class LiveEditor {
|
||||||
renderLineHighlight: "none",
|
renderLineHighlight: "none",
|
||||||
theme: "custom",
|
theme: "custom",
|
||||||
fontFamily: "JetBrains Mono, Droid Sans Mono, monospace",
|
fontFamily: "JetBrains Mono, Droid Sans Mono, monospace",
|
||||||
|
fontSize: 14,
|
||||||
tabIndex: -1,
|
tabIndex: -1,
|
||||||
quickSuggestions: false,
|
quickSuggestions: false,
|
||||||
tabCompletion: "on",
|
tabCompletion: "on",
|
||||||
|
|
Loading…
Add table
Reference in a new issue