ligatures switch (fixes #51)

terminus-terminal/src/components/terminalTab.component.ts

+const dataurl = require('dataurl')
 import { BehaviorSubject, Subject, Subscription } from 'rxjs'
 import 'rxjs/add/operator/bufferTime'
 import { Component, NgZone, Inject, Optional, ViewChild, HostBinding, Input } from '@angular/core'
@@ -261,6 +262,28 @@ export class TerminalTabComponent extends BaseTabComponent {
             preferenceManager.set('cursor-color', config.terminal.colorScheme.cursor)
         }
 
+        let css = require('../hterm.userCSS.scss')
+        if (!config.terminal.ligatures) {
+            css += `
+                * {
+                    font-feature-settings: "liga" 0;
+                    font-variant-ligatures: none;
+                }
+            `
+        } else {
+            css += `
+                * {
+                    font-feature-settings: "liga" 1;
+                    font-variant-ligatures: initial;
+                }
+            `
+        }
+        preferenceManager.set('user-css', dataurl.convert({
+            data: css,
+            mimetype: 'text/css',
+            charset: 'utf8',
+        }))
+
         this.hterm.setBracketedPaste(config.terminal.bracketedPaste)
     }
 

terminus-terminal/src/config.ts

@@ -7,6 +7,7 @@ export class TerminalConfigProvider extends ConfigProvider {
             bell: 'off',
             bracketedPaste: false,
             background: 'theme',
+            ligatures: false,
             colorScheme: {
                 __nonStructural: true,
                 name: 'Material',

terminus-terminal/src/hterm.ts

-const dataurl = require('dataurl')
 export const hterm = require('hterm-umdjs')
 hterm.hterm.defaultStorage = new hterm.lib.Storage.Memory()
 export const preferenceManager = new hterm.hterm.PreferenceManager('default')
@@ -16,11 +15,6 @@ hterm.hterm.VT.ESC['k'] = function (parseState) {
     parseState.func = parseOSC
 }
 
-preferenceManager.set('user-css', dataurl.convert({
-    data: require('./hterm.userCSS.scss'),
-    mimetype: 'text/css',
-    charset: 'utf8',
-}))
 preferenceManager.set('background-color', '#1D272D')
 preferenceManager.set('color-palette-overrides', {
     0: '#1D272D',

terminus-terminal/src/hterm.userCSS.scss

@@ -6,10 +6,6 @@ a:hover {
     text-decoration: underline;
 }
 
-* {
-    font-feature-settings: "liga" 0; // disable ligatures (they break monospacing)
-}
-
 x-screen {
     transition: 0.125s ease background;
 }