mirror of
https://github.com/tonsky/FiraCode.git
synced 2024-10-04 00:31:49 +03:00
add fallback fonts if Fira Code isn't available
parent
56e25dd1d9
commit
71ab251dce
@ -2,7 +2,7 @@ In the terminal:
|
|||||||
1. Use the keyboard shortcut <kbd>CTRL</kbd> + <kbd>SHIFT</kbd> + <kbd>J</kbd> to open the JavaScript Console.
|
1. Use the keyboard shortcut <kbd>CTRL</kbd> + <kbd>SHIFT</kbd> + <kbd>J</kbd> to open the JavaScript Console.
|
||||||
2. Copy & paste the following:
|
2. Copy & paste the following:
|
||||||
```
|
```
|
||||||
term_.prefs_.set('user-css-text', `@font-face{\n font-family: 'Fira Code';\n src: url('https://raw.githubusercontent.com/tonsky/FiraCode/5.2/distr/woff2/FiraCode-Regular.woff2') format('woff2'),\n url('https://raw.githubusercontent.com/tonsky/FiraCode/5.2/distr/woff/FiraCode-Regular.woff') format('woff'),\n url('https://raw.githubusercontent.com/tonsky/FiraCode/5.2/distr/ttf/FiraCode-Regular.ttf') format('truetype');\n font-weight: normal;\n font-style: normal;\n}\n\n* {\n -webkit-font-feature-settings: "liga" on, "calt" on;\n -webkit-font-smoothing: antialiased;\n text-rendering: optimizeLegibility;\n font-family: 'Fira Code';\n}`)
|
term_.prefs_.set('user-css-text', `@font-face{\n font-family: 'Fira Code';\n src: url('https://raw.githubusercontent.com/tonsky/FiraCode/5.2/distr/woff2/FiraCode-Regular.woff2') format('woff2'),\n url('https://raw.githubusercontent.com/tonsky/FiraCode/5.2/distr/woff/FiraCode-Regular.woff') format('woff'),\n url('https://raw.githubusercontent.com/tonsky/FiraCode/5.2/distr/ttf/FiraCode-Regular.ttf') format('truetype');\n font-weight: normal;\n font-style: normal;\n}\n\n* {\n -webkit-font-feature-settings: "liga" on, "calt" on;\n -webkit-font-smoothing: antialiased;\n text-rendering: optimizeLegibility;\n font-family: "Fira Code", "PT Mono", "DejaVu Sans Mono", "Noto Sans Mono", "Everson Mono", FreeMono, Menlo, Terminal, monospace;\n}`)
|
||||||
```
|
```
|
||||||
3. There is no step 3!
|
3. There is no step 3!
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user