提交 7b19cc64 编写于 作者: D Daniel Imms

Support customizable terminal font family

上级 194874bb
......@@ -24,6 +24,7 @@ export interface ITerminalConfiguration {
unixLike: string,
windows: string
},
fontFamily: string,
ansiColors: {
black: string,
red: string,
......
......@@ -33,6 +33,11 @@ configurationRegistry.registerConfiguration({
'type': 'string',
'default': TERMINAL_DEFAULT_SHELL_WINDOWS
},
'integratedTerminal.fontFamily': {
'description': nls.localize('integratedTerminal.fontFamily', "The font family used by the terminal (CSS font-family format)."),
'type': 'string',
'default': 'Menlo, Monaco, Consolas, "Droid Sans Mono", "Courier New", monospace, "Droid Sans Fallback"'
},
'integratedTerminal.ansiColors.black': {
'description': nls.localize('integratedTerminal.ansiColors.black', "Black color for terminals that support ANSI escape sequences (format: #rrggbb)"),
'type': 'string',
......
......@@ -67,7 +67,8 @@ export class TerminalPanel extends Panel {
this.terminal.open(this.terminalDomElement);
this.parentDomElement.appendChild(terminalContainer.getDomNode());
this.terminalDomElement.style.fontFamily = 'Hack, mono';
let config = this.configurationService.getConfiguration<ITerminalConfiguration>();
this.terminalDomElement.style.fontFamily = config.integratedTerminal.fontFamily;
this.terminal.colors = this.getTerminalColors();
return TPromise.as(null);
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册