Merge branch 'master' into webkit

This commit is contained in:
Daniel Imms
2020-04-10 06:34:45 -07:00
committed by GitHub
54 changed files with 2685 additions and 2270 deletions
+2 -2
View File
@@ -22,7 +22,7 @@ const cols = 260;
const rows = 50;
// Wheel events are hacked using private API that is only available in Chromium
const isChromium = false
const isChromium = false;
// for some reason shift gets not caught by selection manager on macos
const noShift = process.platform === 'darwin' ? false : true;
@@ -169,7 +169,7 @@ function evalButtonCode(code: number): any {
}
// parse a single mouse report
function parseReport(encoding: string, msg: number[]): { state: any; row: number; col: number; } | string {
function parseReport(encoding: string, msg: number[]): { state: any, row: number, col: number } | string {
let sReport: string;
let buttonCode: number;
let row: number;