From 99f62c4f6f8aba154acb1363060fb86942b8ff60 Mon Sep 17 00:00:00 2001
From: cpsdqs <cpsdqs@gmail.com>
Date: Fri, 8 Sep 2017 19:31:43 +0200
Subject: [PATCH] =?UTF-8?q?Add=20mouse=20events,=20=E2=8C=83=E2=87=A7C=20t?=
 =?UTF-8?q?o=20copy,=20alt-select=20override=20Also=20prevent=20body=20scr?=
 =?UTF-8?q?oll=20when=20the=20terminal=20is=20scrollable?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 html_orig/jssrc/term_screen.js | 77 +++++++++++++++++++++++++++++++++-
 1 file changed, 75 insertions(+), 2 deletions(-)

diff --git a/html_orig/jssrc/term_screen.js b/html_orig/jssrc/term_screen.js
index e957a96..7507952 100644
--- a/html_orig/jssrc/term_screen.js
+++ b/html_orig/jssrc/term_screen.js
@@ -108,6 +108,8 @@ class TermScreen {
       end: [0, 0]
     }
 
+    this.mouseMode = { clicks: false, movement: false }
+
     const self = this
     this.window = new Proxy(this._window, {
       set (target, key, value, receiver) {
@@ -128,12 +130,15 @@ class TermScreen {
 
     let selecting = false
     this.canvas.addEventListener('mousedown', e => {
-      if (this.selection.selectable) {
+      if (this.selection.selectable || e.altKey) {
         let x = e.offsetX
         let y = e.offsetY
         selecting = true
         this.selection.start = this.selection.end = this.screenToGrid(x, y)
         this.scheduleDraw()
+      } else {
+        Input.onMouseDown(...this.screenToGrid(e.offsetX, e.offsetY),
+          e.button + 1)
       }
     })
     window.addEventListener('mousemove', e => {
@@ -150,6 +155,32 @@ class TermScreen {
         Object.assign(this.selection, this.getNormalizedSelection())
       }
     })
+    this.canvas.addEventListener('mousemove', e => {
+      if (!selecting) {
+        Input.onMouseMove(...this.screenToGrid(e.offsetX, e.offsetY))
+      }
+    })
+    this.canvas.addEventListener('mouseup', e => {
+      if (!selecting) {
+        Input.onMouseUp(...this.screenToGrid(e.offsetX, e.offsetY),
+          e.button + 1)
+      }
+    })
+    this.canvas.addEventListener('wheel', e => {
+      if (this.mouseMode.clicks) {
+        Input.onMouseWheel(...this.screenToGrid(e.offsetX, e.offsetY),
+          e.deltaY > 0 ? 1 : -1)
+
+        // prevent page scrolling
+        e.preventDefault()
+      }
+    })
+
+    // bind ctrl+shift+c to copy
+    key('⌃+⇧+c', e => {
+      e.preventDefault()
+      this.copySelectionToClipboard()
+    })
   }
 
   get colors () { return this._colors }
@@ -243,7 +274,6 @@ class TermScreen {
   }
 
   isInSelection (col, line) {
-    if (!this.selection.selectable) return false
     let { start, end } = this.getNormalizedSelection()
     let colAfterStart = start[0] <= col
     let colBeforeEnd = col < end[0]
@@ -256,6 +286,44 @@ class TermScreen {
     else return start[1] < line && line < end[1]
   }
 
+  getSelectedText () {
+    const screenLength = this.window.width * this.window.height
+    let lines = []
+    let previousLineIndex = -1
+
+    for (let cell = 0; cell < screenLength; cell++) {
+      let x = cell % this.window.width
+      let y = Math.floor(cell / this.window.width)
+
+      if (this.isInSelection(x, y)) {
+        if (previousLineIndex !== y) {
+          previousLineIndex = y
+          lines.push('')
+        }
+        lines[lines.length - 1] += this.screen[cell]
+      }
+    }
+
+    return lines.join('\n')
+  }
+
+  copySelectionToClipboard () {
+    let selectedText = this.getSelectedText()
+    // don't copy anything if nothing is selected
+    if (!selectedText) return
+    let textarea = document.createElement('textarea')
+    document.body.appendChild(textarea)
+    textarea.value = selectedText
+    textarea.select()
+    if (document.execCommand('copy')) {
+      Notify.show(`Copied to clipboard`)
+    } else {
+      // unsuccessful copy
+      // TODO: do something?
+    }
+    document.body.removeChild(textarea)
+  }
+
   screenToGrid (x, y) {
     let charSize = this.getCharSize()
     let cellWidth = charSize.width * this.window.gridScaleX
@@ -421,6 +489,11 @@ class TermScreen {
     let trackMouseMovement = !!(attributes & 1 << 6)
 
     Input.setMouseMode(trackMouseClicks, trackMouseMovement)
+    this.selection.selectable = !trackMouseMovement
+    this.mouseMode = {
+      clicks: trackMouseClicks,
+      movement: trackMouseMovement
+    }
 
     let showButtons = !!(attributes & 1 << 7)
     let showConfigLinks = !!(attributes & 1 << 8)