fix: add updated monospace font for Windows (#5091)

ajaxorg · Mar 15, 2023 · a981972 · a981972
1 parent e0d4ea9
commit a981972
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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
 }