[Update] 修改terminal字体

pull/2394/head
ibuler 2019-02-15 11:15:46 +08:00
parent 87f2a67789
commit 49404f763d
1 changed files with 1 additions and 1 deletions

View File

@ -170,7 +170,7 @@ function initResultTerminal() {
term = new Terminal({ term = new Terminal({
cursorBlink: false, cursorBlink: false,
screenKeys: false, screenKeys: false,
fontFamily: '"Consolas", "monospace"', fontFamily: 'monaco, Consolas, "Lucida Console", monospace',
fontSize: 14, fontSize: 14,
rightClickSelectsWord: true, rightClickSelectsWord: true,
disableStdin: true, disableStdin: true,