From dc254bd5625f2223e44e90fef30cd40e83d2c7ad Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Sun, 17 Sep 2023 17:28:25 +0200 Subject: [PATCH] upstream changes --- website/src/repl/panel/SettingsTab.jsx | 2 ++ 1 file changed, 2 insertions(+) diff --git a/website/src/repl/panel/SettingsTab.jsx b/website/src/repl/panel/SettingsTab.jsx index 5dea6258..bf376a76 100644 --- a/website/src/repl/panel/SettingsTab.jsx +++ b/website/src/repl/panel/SettingsTab.jsx @@ -69,6 +69,8 @@ const fontFamilyOptions = { 'we-come-in-peace': 'we-come-in-peace', FiraCode: 'FiraCode', 'FiraCode-SemiBold': 'FiraCode SemiBold', + teletext: 'teletext', + mode7: 'mode7', }; export function SettingsTab() {