From a9819722cec6ff60b028deaa7b70d7fefabac531 Mon Sep 17 00:00:00 2001
From: Zakhar Kozlov <inspired.incredible@gmail.com>
Date: Wed, 15 Mar 2023 12:38:54 +0200
Subject: [PATCH] fix: add updated monospace font for Windows (#5091)

---
 src/css/editor.css.js | 2 +-
 src/ext/static.css.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/css/editor.css.js b/src/css/editor.css.js
index eaad5d28cb7..910a481e6b5 100644
--- a/src/css/editor.css.js
+++ b/src/css/editor.css.js
@@ -31,7 +31,7 @@ module.exports = `
     position: relative;
     overflow: hidden;
     padding: 0;
-    font: 12px/normal 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
+    font: 12px/normal 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'Source Code Pro', 'source-code-pro', monospace;
     direction: ltr;
     text-align: left;
     -webkit-tap-highlight-color: rgba(0, 0, 0, 0);
diff --git a/src/ext/static.css.js b/src/ext/static.css.js
index f2db582663c..9a785492e5a 100644
--- a/src/ext/static.css.js
+++ b/src/ext/static.css.js
@@ -1,5 +1,5 @@
 module.exports = `.ace_static_highlight {
-    font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', 'Droid Sans Mono', monospace;
+    font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'Source Code Pro', 'source-code-pro', 'Droid Sans Mono', monospace;
     font-size: 12px;
     white-space: pre-wrap
 }