|
| 1 | +export type TerminalWheelMouseTrackingMode = "any" | "drag" | "none" | "vt200" | "x10" |
| 2 | + |
| 3 | +export type TerminalWheelScrollTerminal = { |
| 4 | + readonly modes: { |
| 5 | + readonly mouseTrackingMode: TerminalWheelMouseTrackingMode |
| 6 | + } |
| 7 | + readonly rows: number |
| 8 | + readonly scrollLines: (amount: number) => void |
| 9 | +} |
| 10 | + |
| 11 | +type TerminalWheelScrollEvent = { |
| 12 | + readonly deltaMode: number |
| 13 | + readonly deltaY: number |
| 14 | + readonly stopImmediatePropagation?: () => void |
| 15 | + readonly preventDefault: () => void |
| 16 | + readonly stopPropagation: () => void |
| 17 | +} |
| 18 | + |
| 19 | +type TerminalWheelScrollHost = { |
| 20 | + readonly addEventListener: ( |
| 21 | + type: "wheel", |
| 22 | + listener: (event: TerminalWheelScrollEvent) => void, |
| 23 | + options: AddEventListenerOptions |
| 24 | + ) => void |
| 25 | + readonly removeEventListener: ( |
| 26 | + type: "wheel", |
| 27 | + listener: (event: TerminalWheelScrollEvent) => void, |
| 28 | + options: boolean |
| 29 | + ) => void |
| 30 | +} |
| 31 | + |
| 32 | +type TerminalWheelScrollDelta = { |
| 33 | + readonly deltaMode: number |
| 34 | + readonly deltaY: number |
| 35 | + readonly previousPixelDeltaY: number |
| 36 | + readonly rows: number |
| 37 | +} |
| 38 | + |
| 39 | +export type ResolvedTerminalWheelScrollDelta = { |
| 40 | + readonly lines: number |
| 41 | + readonly nextPixelDeltaY: number |
| 42 | +} |
| 43 | + |
| 44 | +type TerminalWheelScrollArgs = { |
| 45 | + readonly host: TerminalWheelScrollHost |
| 46 | + readonly terminal: TerminalWheelScrollTerminal |
| 47 | +} |
| 48 | + |
| 49 | +const wheelPixelDeltaMode = 0 |
| 50 | +const wheelLineDeltaMode = 1 |
| 51 | +const wheelPageDeltaMode = 2 |
| 52 | +const pixelsPerTerminalLine = 15 |
| 53 | + |
| 54 | +const hasActiveMouseTracking = (terminal: TerminalWheelScrollTerminal): boolean => |
| 55 | + terminal.modes.mouseTrackingMode !== "none" |
| 56 | + |
| 57 | +const validTerminalRows = (rows: number): number => { |
| 58 | + if (!Number.isFinite(rows) || rows < 1) { |
| 59 | + return 1 |
| 60 | + } |
| 61 | + return Math.trunc(rows) |
| 62 | +} |
| 63 | + |
| 64 | +const finiteDelta = (delta: number): number => { |
| 65 | + if (!Number.isFinite(delta)) { |
| 66 | + return 0 |
| 67 | + } |
| 68 | + return delta |
| 69 | +} |
| 70 | + |
| 71 | +export const resolveTerminalWheelScrollDelta = ( |
| 72 | + delta: TerminalWheelScrollDelta |
| 73 | +): ResolvedTerminalWheelScrollDelta => { |
| 74 | + const deltaY = finiteDelta(delta.deltaY) |
| 75 | + if (delta.deltaMode === wheelLineDeltaMode) { |
| 76 | + return { lines: Math.trunc(deltaY), nextPixelDeltaY: 0 } |
| 77 | + } |
| 78 | + if (delta.deltaMode === wheelPageDeltaMode) { |
| 79 | + return { lines: Math.trunc(deltaY * validTerminalRows(delta.rows)), nextPixelDeltaY: 0 } |
| 80 | + } |
| 81 | + if (delta.deltaMode !== wheelPixelDeltaMode) { |
| 82 | + return { lines: Math.trunc(deltaY), nextPixelDeltaY: 0 } |
| 83 | + } |
| 84 | + const nextPixelDeltaY = finiteDelta(delta.previousPixelDeltaY) + deltaY |
| 85 | + const lines = Math.trunc(nextPixelDeltaY / pixelsPerTerminalLine) |
| 86 | + return { |
| 87 | + lines, |
| 88 | + nextPixelDeltaY: nextPixelDeltaY - lines * pixelsPerTerminalLine |
| 89 | + } |
| 90 | +} |
| 91 | + |
| 92 | +export const attachTerminalWheelScroll = ( |
| 93 | + args: TerminalWheelScrollArgs |
| 94 | +): { readonly dispose: () => void } => { |
| 95 | + let previousPixelDeltaY = 0 |
| 96 | + const onWheel = (event: TerminalWheelScrollEvent): void => { |
| 97 | + if (!hasActiveMouseTracking(args.terminal)) { |
| 98 | + return |
| 99 | + } |
| 100 | + const scrollDelta = resolveTerminalWheelScrollDelta({ |
| 101 | + deltaMode: event.deltaMode, |
| 102 | + deltaY: event.deltaY, |
| 103 | + previousPixelDeltaY, |
| 104 | + rows: args.terminal.rows |
| 105 | + }) |
| 106 | + previousPixelDeltaY = scrollDelta.nextPixelDeltaY |
| 107 | + event.preventDefault() |
| 108 | + event.stopPropagation() |
| 109 | + event.stopImmediatePropagation?.() |
| 110 | + if (scrollDelta.lines !== 0) { |
| 111 | + args.terminal.scrollLines(scrollDelta.lines) |
| 112 | + } |
| 113 | + } |
| 114 | + |
| 115 | + args.host.addEventListener("wheel", onWheel, { capture: true, passive: false }) |
| 116 | + |
| 117 | + return { |
| 118 | + dispose: () => { |
| 119 | + args.host.removeEventListener("wheel", onWheel, true) |
| 120 | + } |
| 121 | + } |
| 122 | +} |
0 commit comments