Add line height config option

app/config/config-default.js

@@ -20,6 +20,9 @@ module.exports = {
     // font weight for bold characters: 'normal' or 'bold'
     fontWeightBold: 'bold',
 
+    // line height as a relative unit
+    lineHeight: 1,
+
     // terminal cursor background color and opacity (hex, rgb, hsl, hsv, hwb or cmyk)
     cursorColor: 'rgba(248,28,229,0.8)',
 

lib/components/term-group.js

@@ -71,6 +71,7 @@ class TermGroup_ extends React.PureComponent {
       fontSmoothing: this.props.fontSmoothing,
       fontWeight: this.props.fontWeight,
       fontWeightBold: this.props.fontWeightBold,
+      lineHeight: this.props.lineHeight,
       modifierKeys: this.props.modifierKeys,
       padding: this.props.padding,
       url: session.url,

lib/components/term.js

@@ -32,6 +32,7 @@ const getTermOptions = props => {
     fontSize: props.fontSize,
     fontWeight: props.fontWeight,
     fontWeightBold: props.fontWeightBold,
+    lineHeight: props.lineHeight,
     allowTransparency: needTransparency,
     experimentalCharAtlas: 'dynamic',
     theme: {
@@ -263,7 +264,11 @@ export default class Term extends React.PureComponent {
       });
     }
 
-    if (this.props.fontSize !== nextProps.fontSize || this.props.fontFamily !== nextProps.fontFamily) {
+    if (
+      this.props.fontSize !== nextProps.fontSize ||
+      this.props.fontFamily !== nextProps.fontFamily ||
+      this.props.lineHeight !== nextProps.lineHeight
+    ) {
       // invalidate xterm cache about how wide each
       // character is
       this.term.charMeasure.measure(this.termOptions);

lib/components/terms.js

@@ -101,6 +101,7 @@ export default class Terms extends React.Component {
             uiFontFamily: this.props.uiFontFamily,
             fontWeight: this.props.fontWeight,
             fontWeightBold: this.props.fontWeightBold,
+            lineHeight: this.props.lineHeight,
             padding: this.props.padding,
             bell: this.props.bell,
             bellSoundURL: this.props.bellSoundURL,

lib/containers/terms.js

@@ -26,6 +26,7 @@ const TermsContainer = connect(
       fontFamily: state.ui.fontFamily,
       fontWeight: state.ui.fontWeight,
       fontWeightBold: state.ui.fontWeightBold,
+      lineHeight: state.ui.lineHeight,
       uiFontFamily: state.ui.uiFontFamily,
       fontSmoothing: state.ui.fontSmoothingOverride,
       padding: state.ui.padding,

lib/reducers/ui.js

@@ -47,6 +47,7 @@ const initial = Immutable({
   fontSmoothingOverride: 'antialiased',
   fontWeight: 'normal',
   fontWeightBold: 'bold',
+  lineHeight: 1,
   css: '',
   termCSS: '',
   openAt: {},
@@ -138,6 +139,10 @@ const reducer = (state = initial, action) => {
               ret.fontWeightBold = config.fontWeightBold;
             }
 
+            if (Number.isFinite(config.lineHeight)) {
+              ret.lineHeight = config.lineHeight;
+            }
+
             if (config.uiFontFamily) {
               ret.uiFontFamily = config.uiFontFamily;
             }