word separator setting (fixes #508)

terminus-terminal/src/components/terminalSettingsTab.component.pug

@@ -125,3 +125,14 @@ h3.mb-3 Terminal
         [(ngModel)]='config.store.terminal.altIsMeta',
         (ngModelChange)='config.save()',
     )
+
+.form-line
+    .header
+        .title Word separators
+        .description Double-click selection will stop at these characters
+    input.form-control(
+        type='text',
+        placeholder=' ()[]{}\'"',
+        [(ngModel)]='config.store.terminal.wordSeparator',
+        (ngModelChange)='config.save()',
+    )

terminus-terminal/src/config.ts

@@ -31,6 +31,7 @@ export class TerminalConfigProvider extends ConfigProvider {
             workingDirectory: '',
             alwaysUseWorkingDirectory: false,
             altIsMeta: false,
+            wordSeparator: ' ()[]{}\'"',
             colorScheme: {
                 __nonStructural: true,
                 name: 'Material',

terminus-terminal/src/frontends/xtermFrontend.ts

@@ -215,6 +215,7 @@ export class XTermFrontend extends Frontend {
         this.xterm.setOption('cursorBlink', config.terminal.cursorBlink)
         this.xterm.setOption('macOptionIsMeta', config.terminal.altIsMeta)
         this.xterm.setOption('scrollback', 100000)
+        this.xterm.setOption('wordSeparator', config.terminal.wordSeparator)
         this.configuredFontSize = config.terminal.fontSize
         this.configuredLinePadding = config.terminal.linePadding
         this.setFontSize()