Skip to content
Permalink
Browse files

set correct font family on xterm3

  • Loading branch information...
gtritchie committed Aug 20, 2019
1 parent 42eacc4 commit b5af63a392066be51231df7a922bea1c084ad518
@@ -442,7 +442,8 @@ private void startTerminal(ConsoleProcessInfo info,
uiPrefs_.blinkingCursor().getValue(),
uiPrefs_.terminalRenderer().getValue(),
BrowseCap.isWindowsDesktop(),
XTermTheme.terminalThemeFromEditorTheme());
XTermTheme.terminalThemeFromEditorTheme(),
XTermTheme.getFontFamily());

TerminalSession newSession = new TerminalSession(info, options, createdByApi);

@@ -43,13 +43,15 @@ public final native static XTermOptions create(
boolean cursorBlink,
String rendererType,
boolean windowsMode,
XTermTheme theme) /*-{
XTermTheme theme,
String fontFamily) /*-{
return {
"bellStyle": bellStyle,
"cursorBlink": cursorBlink,
"rendererType": rendererType,
"windowsMode": windowsMode,
"theme": theme
"theme": theme,
"fontFamily": fontFamily
};
}-*/;
}
@@ -78,6 +78,11 @@ public final static XTermTheme terminalThemeFromEditorTheme()
);
}

public static String getFontFamily()
{
return DomUtils.extractCssValue("ace_editor", "font-family");
}

public final native static XTermTheme create(
String background, // default background color
String foreground, // default foreground color

0 comments on commit b5af63a

Please sign in to comment.
You can’t perform that action at this time.