From b3fbba10b23e496e23e6e233d3f526c42605f203 Mon Sep 17 00:00:00 2001 From: coderaiser Date: Tue, 22 May 2018 16:52:04 +0300 Subject: [PATCH] feature(terminal) set fontFamily --- client/modules/terminal.js | 1 + package.json | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/client/modules/terminal.js b/client/modules/terminal.js index d29934c1..574f18f6 100644 --- a/client/modules/terminal.js +++ b/client/modules/terminal.js @@ -72,6 +72,7 @@ function create(callback) { env: getEnv(), prefix: getPrefix(), socketPath: CloudCmd.PREFIX, + fontFamily: 'Droid Sans Mono', }; const {socket, terminal} = gritty(Element, options); diff --git a/package.json b/package.json index 0f1d47ca..eb4fcd34 100644 --- a/package.json +++ b/package.json @@ -174,7 +174,7 @@ "extract-text-webpack-plugin": "^4.0.0-alpha.0", "file-loader": "^1.1.4", "fresh-require": "^1.0.3", - "gritty": "^2.1.1", + "gritty": "^2.2.0", "gunzip-maybe": "^1.3.1", "html-looks-like": "^1.0.2", "html-webpack-exclude-assets-plugin": "^0.0.7",