@xterm/xterm 5.6.0-beta.1 → 5.6.0-beta.100

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (129) hide show
  1. package/README.md +10 -3
  2. package/css/xterm.css +71 -4
  3. package/lib/xterm.js +1 -1
  4. package/lib/xterm.js.map +1 -1
  5. package/lib/xterm.mjs +53 -0
  6. package/lib/xterm.mjs.map +7 -0
  7. package/package.json +43 -33
  8. package/src/browser/AccessibilityManager.ts +53 -25
  9. package/src/browser/{Terminal.ts → CoreBrowserTerminal.ts} +138 -147
  10. package/src/browser/Linkifier.ts +26 -14
  11. package/src/browser/LocalizableStrings.ts +15 -4
  12. package/src/browser/{Types.d.ts → Types.ts} +67 -15
  13. package/src/browser/Viewport.ts +143 -357
  14. package/src/browser/decorations/BufferDecorationRenderer.ts +14 -9
  15. package/src/browser/decorations/OverviewRulerRenderer.ts +40 -44
  16. package/src/browser/input/CompositionHelper.ts +2 -1
  17. package/src/browser/public/Terminal.ts +31 -23
  18. package/src/browser/renderer/dom/DomRenderer.ts +22 -19
  19. package/src/browser/renderer/dom/DomRendererRowFactory.ts +35 -15
  20. package/src/browser/renderer/shared/Constants.ts +0 -8
  21. package/src/browser/renderer/shared/Types.ts +84 -0
  22. package/src/browser/services/CharSizeService.ts +6 -6
  23. package/src/browser/services/CoreBrowserService.ts +15 -15
  24. package/src/browser/services/LinkProviderService.ts +2 -2
  25. package/src/browser/services/RenderService.ts +20 -20
  26. package/src/browser/services/SelectionService.ts +8 -8
  27. package/src/browser/services/Services.ts +13 -13
  28. package/src/browser/services/ThemeService.ts +19 -58
  29. package/src/browser/shared/Constants.ts +8 -0
  30. package/src/common/CircularList.ts +5 -5
  31. package/src/common/CoreTerminal.ts +35 -41
  32. package/src/common/InputHandler.ts +83 -56
  33. package/src/common/SortedList.ts +86 -10
  34. package/src/common/{Types.d.ts → Types.ts} +13 -17
  35. package/src/common/buffer/Buffer.ts +89 -8
  36. package/src/common/buffer/BufferReflow.ts +9 -6
  37. package/src/common/buffer/BufferSet.ts +5 -5
  38. package/src/common/buffer/Marker.ts +4 -4
  39. package/src/common/buffer/{Types.d.ts → Types.ts} +2 -2
  40. package/src/common/input/WriteBuffer.ts +3 -3
  41. package/src/common/parser/EscapeSequenceParser.ts +4 -4
  42. package/src/common/public/BufferNamespaceApi.ts +3 -3
  43. package/src/common/services/BufferService.ts +7 -7
  44. package/src/common/services/CoreMouseService.ts +5 -3
  45. package/src/common/services/CoreService.ts +8 -6
  46. package/src/common/services/DecorationService.ts +10 -10
  47. package/src/common/services/InstantiationService.ts +1 -1
  48. package/src/common/services/LogService.ts +2 -2
  49. package/src/common/services/OptionsService.ts +8 -6
  50. package/src/common/services/ServiceRegistry.ts +1 -1
  51. package/src/common/services/Services.ts +27 -17
  52. package/src/common/services/UnicodeService.ts +2 -2
  53. package/src/vs/base/browser/browser.ts +141 -0
  54. package/src/vs/base/browser/canIUse.ts +49 -0
  55. package/src/vs/base/browser/dom.ts +2369 -0
  56. package/src/vs/base/browser/fastDomNode.ts +316 -0
  57. package/src/vs/base/browser/globalPointerMoveMonitor.ts +112 -0
  58. package/src/vs/base/browser/iframe.ts +135 -0
  59. package/src/vs/base/browser/keyboardEvent.ts +213 -0
  60. package/src/vs/base/browser/mouseEvent.ts +229 -0
  61. package/src/vs/base/browser/touch.ts +372 -0
  62. package/src/vs/base/browser/ui/scrollbar/abstractScrollbar.ts +303 -0
  63. package/src/vs/base/browser/ui/scrollbar/horizontalScrollbar.ts +114 -0
  64. package/src/vs/base/browser/ui/scrollbar/scrollableElement.ts +720 -0
  65. package/src/vs/base/browser/ui/scrollbar/scrollableElementOptions.ts +165 -0
  66. package/src/vs/base/browser/ui/scrollbar/scrollbarArrow.ts +114 -0
  67. package/src/vs/base/browser/ui/scrollbar/scrollbarState.ts +243 -0
  68. package/src/vs/base/browser/ui/scrollbar/scrollbarVisibilityController.ts +118 -0
  69. package/src/vs/base/browser/ui/scrollbar/verticalScrollbar.ts +116 -0
  70. package/src/vs/base/browser/ui/widget.ts +57 -0
  71. package/src/vs/base/browser/window.ts +14 -0
  72. package/src/vs/base/common/arrays.ts +887 -0
  73. package/src/vs/base/common/arraysFind.ts +202 -0
  74. package/src/vs/base/common/assert.ts +71 -0
  75. package/src/vs/base/common/async.ts +1992 -0
  76. package/src/vs/base/common/cancellation.ts +148 -0
  77. package/src/vs/base/common/charCode.ts +450 -0
  78. package/src/vs/base/common/collections.ts +140 -0
  79. package/src/vs/base/common/decorators.ts +130 -0
  80. package/src/vs/base/common/equals.ts +146 -0
  81. package/src/vs/base/common/errors.ts +303 -0
  82. package/src/vs/base/common/event.ts +1778 -0
  83. package/src/vs/base/common/functional.ts +32 -0
  84. package/src/vs/base/common/hash.ts +316 -0
  85. package/src/vs/base/common/iterator.ts +159 -0
  86. package/src/vs/base/common/keyCodes.ts +526 -0
  87. package/src/vs/base/common/keybindings.ts +284 -0
  88. package/src/vs/base/common/lazy.ts +47 -0
  89. package/src/vs/base/common/lifecycle.ts +801 -0
  90. package/src/vs/base/common/linkedList.ts +142 -0
  91. package/src/vs/base/common/map.ts +202 -0
  92. package/src/vs/base/common/numbers.ts +98 -0
  93. package/src/vs/base/common/observable.ts +76 -0
  94. package/src/vs/base/common/observableInternal/api.ts +31 -0
  95. package/src/vs/base/common/observableInternal/autorun.ts +281 -0
  96. package/src/vs/base/common/observableInternal/base.ts +489 -0
  97. package/src/vs/base/common/observableInternal/debugName.ts +145 -0
  98. package/src/vs/base/common/observableInternal/derived.ts +428 -0
  99. package/src/vs/base/common/observableInternal/lazyObservableValue.ts +146 -0
  100. package/src/vs/base/common/observableInternal/logging.ts +328 -0
  101. package/src/vs/base/common/observableInternal/promise.ts +209 -0
  102. package/src/vs/base/common/observableInternal/utils.ts +610 -0
  103. package/src/vs/base/common/platform.ts +281 -0
  104. package/src/vs/base/common/scrollable.ts +522 -0
  105. package/src/vs/base/common/sequence.ts +34 -0
  106. package/src/vs/base/common/stopwatch.ts +43 -0
  107. package/src/vs/base/common/strings.ts +557 -0
  108. package/src/vs/base/common/symbols.ts +9 -0
  109. package/src/vs/base/common/uint.ts +59 -0
  110. package/src/vs/patches/nls.ts +90 -0
  111. package/src/vs/typings/base-common.d.ts +20 -0
  112. package/src/vs/typings/require.d.ts +42 -0
  113. package/src/vs/typings/thenable.d.ts +12 -0
  114. package/src/vs/typings/vscode-globals-nls.d.ts +36 -0
  115. package/src/vs/typings/vscode-globals-product.d.ts +33 -0
  116. package/typings/xterm.d.ts +73 -15
  117. package/src/browser/Lifecycle.ts +0 -33
  118. package/src/browser/renderer/shared/CellColorResolver.ts +0 -236
  119. package/src/browser/renderer/shared/CharAtlasCache.ts +0 -96
  120. package/src/browser/renderer/shared/CharAtlasUtils.ts +0 -75
  121. package/src/browser/renderer/shared/CursorBlinkStateManager.ts +0 -146
  122. package/src/browser/renderer/shared/CustomGlyphs.ts +0 -687
  123. package/src/browser/renderer/shared/DevicePixelObserver.ts +0 -41
  124. package/src/browser/renderer/shared/TextureAtlas.ts +0 -1100
  125. package/src/browser/renderer/shared/Types.d.ts +0 -173
  126. package/src/common/EventEmitter.ts +0 -78
  127. package/src/common/Lifecycle.ts +0 -108
  128. /package/src/browser/selection/{Types.d.ts → Types.ts} +0 -0
  129. /package/src/common/parser/{Types.d.ts → Types.ts} +0 -0
@@ -1,401 +1,187 @@
1
1
  /**
2
- * Copyright (c) 2016 The xterm.js authors. All rights reserved.
2
+ * Copyright (c) 2024 The xterm.js authors. All rights reserved.
3
3
  * @license MIT
4
4
  */
5
5
 
6
- import { addDisposableDomListener } from 'browser/Lifecycle';
7
- import { IViewport, ReadonlyColorSet } from 'browser/Types';
8
- import { IRenderDimensions } from 'browser/renderer/shared/Types';
9
- import { ICharSizeService, ICoreBrowserService, IRenderService, IThemeService } from 'browser/services/Services';
10
- import { EventEmitter } from 'common/EventEmitter';
11
- import { Disposable } from 'common/Lifecycle';
12
- import { IBuffer } from 'common/buffer/Types';
13
- import { IBufferService, IOptionsService } from 'common/services/Services';
6
+ import { ICoreBrowserService, IRenderService, IThemeService } from 'browser/services/Services';
7
+ import { ViewportConstants } from 'browser/shared/Constants';
8
+ import { Disposable, toDisposable } from 'vs/base/common/lifecycle';
9
+ import { IBufferService, ICoreMouseService, IOptionsService } from 'common/services/Services';
10
+ import { CoreMouseEventType } from 'common/Types';
11
+ import { scheduleAtNextAnimationFrame } from 'vs/base/browser/dom';
12
+ import { SmoothScrollableElement } from 'vs/base/browser/ui/scrollbar/scrollableElement';
13
+ import type { ScrollableElementChangeOptions } from 'vs/base/browser/ui/scrollbar/scrollableElementOptions';
14
+ import { Emitter, Event } from 'vs/base/common/event';
15
+ import { Scrollable, ScrollbarVisibility, type ScrollEvent } from 'vs/base/common/scrollable';
14
16
 
15
- const FALLBACK_SCROLL_BAR_WIDTH = 15;
17
+ export class Viewport extends Disposable {
16
18
 
17
- interface ISmoothScrollState {
18
- startTime: number;
19
- origin: number;
20
- target: number;
21
- }
22
-
23
- /**
24
- * Represents the viewport of a terminal, the visible area within the larger buffer of output.
25
- * Logic for the virtual scroll bar is included in this object.
26
- */
27
- export class Viewport extends Disposable implements IViewport {
28
- public scrollBarWidth: number = 0;
29
- private _currentRowHeight: number = 0;
30
- private _currentDeviceCellHeight: number = 0;
31
- private _lastRecordedBufferLength: number = 0;
32
- private _lastRecordedViewportHeight: number = 0;
33
- private _lastRecordedBufferHeight: number = 0;
34
- private _lastTouchY: number = 0;
35
- private _lastScrollTop: number = 0;
36
- private _activeBuffer: IBuffer;
37
- private _renderDimensions: IRenderDimensions;
38
-
39
- // Stores a partial line amount when scrolling, this is used to keep track of how much of a line
40
- // is scrolled so we can "scroll" over partial lines and feel natural on touchpads. This is a
41
- // quick fix and could have a more robust solution in place that reset the value when needed.
42
- private _wheelPartialScroll: number = 0;
19
+ protected _onRequestScrollLines = this._register(new Emitter<number>());
20
+ public readonly onRequestScrollLines = this._onRequestScrollLines.event;
43
21
 
44
- private _refreshAnimationFrame: number | null = null;
45
- private _ignoreNextScrollEvent: boolean = false;
46
- private _smoothScrollState: ISmoothScrollState = {
47
- startTime: 0,
48
- origin: -1,
49
- target: -1
50
- };
22
+ private _scrollableElement: SmoothScrollableElement;
23
+ private _styleElement: HTMLStyleElement;
51
24
 
52
- private readonly _onRequestScrollLines = this.register(new EventEmitter<{ amount: number, suppressScrollEvent: boolean }>());
53
- public readonly onRequestScrollLines = this._onRequestScrollLines.event;
25
+ private _queuedAnimationFrame?: number;
26
+ private _latestYDisp?: number;
27
+ private _isSyncing: boolean = false;
28
+ private _isHandlingScroll: boolean = false;
29
+ private _suppressOnScrollHandler: boolean = false;
54
30
 
55
31
  constructor(
56
- private readonly _viewportElement: HTMLElement,
57
- private readonly _scrollArea: HTMLElement,
32
+ element: HTMLElement,
33
+ screenElement: HTMLElement,
58
34
  @IBufferService private readonly _bufferService: IBufferService,
35
+ @ICoreBrowserService coreBrowserService: ICoreBrowserService,
36
+ @ICoreMouseService coreMouseService: ICoreMouseService,
37
+ @IThemeService themeService: IThemeService,
59
38
  @IOptionsService private readonly _optionsService: IOptionsService,
60
- @ICharSizeService private readonly _charSizeService: ICharSizeService,
61
- @IRenderService private readonly _renderService: IRenderService,
62
- @ICoreBrowserService private readonly _coreBrowserService: ICoreBrowserService,
63
- @IThemeService themeService: IThemeService
39
+ @IRenderService private readonly _renderService: IRenderService
64
40
  ) {
65
41
  super();
66
42
 
67
- // Measure the width of the scrollbar. If it is 0 we can assume it's an OSX overlay scrollbar.
68
- // Unfortunately the overlay scrollbar would be hidden underneath the screen element in that
69
- // case, therefore we account for a standard amount to make it visible
70
- this.scrollBarWidth = (this._viewportElement.offsetWidth - this._scrollArea.offsetWidth) || FALLBACK_SCROLL_BAR_WIDTH;
71
- this.register(addDisposableDomListener(this._viewportElement, 'scroll', this._handleScroll.bind(this)));
72
-
73
- // Track properties used in performance critical code manually to avoid using slow getters
74
- this._activeBuffer = this._bufferService.buffer;
75
- this.register(this._bufferService.buffers.onBufferActivate(e => this._activeBuffer = e.activeBuffer));
76
- this._renderDimensions = this._renderService.dimensions;
77
- this.register(this._renderService.onDimensionsChange(e => this._renderDimensions = e));
78
-
79
- this._handleThemeChange(themeService.colors);
80
- this.register(themeService.onChangeColors(e => this._handleThemeChange(e)));
81
- this.register(this._optionsService.onSpecificOptionChange('scrollback', () => this.syncScrollArea()));
82
-
83
- // Perform this async to ensure the ICharSizeService is ready.
84
- setTimeout(() => this.syncScrollArea());
85
- }
86
-
87
- private _handleThemeChange(colors: ReadonlyColorSet): void {
88
- this._viewportElement.style.backgroundColor = colors.background.css;
89
- }
90
-
91
- public reset(): void {
92
- this._currentRowHeight = 0;
93
- this._currentDeviceCellHeight = 0;
94
- this._lastRecordedBufferLength = 0;
95
- this._lastRecordedViewportHeight = 0;
96
- this._lastRecordedBufferHeight = 0;
97
- this._lastTouchY = 0;
98
- this._lastScrollTop = 0;
99
- // Sync on next animation frame to ensure the new terminal state is used
100
- this._coreBrowserService.window.requestAnimationFrame(() => this.syncScrollArea());
43
+ const scrollable = this._register(new Scrollable({
44
+ forceIntegerValues: false,
45
+ smoothScrollDuration: this._optionsService.rawOptions.smoothScrollDuration,
46
+ // This is used over `IRenderService.addRefreshCallback` since it can be canceled
47
+ scheduleAtNextAnimationFrame: cb => scheduleAtNextAnimationFrame(coreBrowserService.window, cb)
48
+ }));
49
+ this._register(this._optionsService.onSpecificOptionChange('smoothScrollDuration', () => {
50
+ scrollable.setSmoothScrollDuration(this._optionsService.rawOptions.smoothScrollDuration);
51
+ }));
52
+
53
+ this._scrollableElement = this._register(new SmoothScrollableElement(screenElement, {
54
+ vertical: ScrollbarVisibility.Auto,
55
+ horizontal: ScrollbarVisibility.Hidden,
56
+ useShadows: false,
57
+ mouseWheelSmoothScroll: true,
58
+ ...this._getChangeOptions()
59
+ }, scrollable));
60
+ this._register(this._optionsService.onMultipleOptionChange([
61
+ 'scrollSensitivity',
62
+ 'fastScrollSensitivity',
63
+ 'overviewRuler'
64
+ ], () => this._scrollableElement.updateOptions(this._getChangeOptions())));
65
+ // Don't handle mouse wheel if wheel events are supported by the current mouse prototcol
66
+ this._register(coreMouseService.onProtocolChange(type => {
67
+ this._scrollableElement.updateOptions({
68
+ handleMouseWheel: !(type & CoreMouseEventType.WHEEL)
69
+ });
70
+ }));
71
+
72
+ this._scrollableElement.setScrollDimensions({ height: 0, scrollHeight: 0 });
73
+ this._register(Event.runAndSubscribe(themeService.onChangeColors, () => {
74
+ this._scrollableElement.getDomNode().style.backgroundColor = themeService.colors.background.css;
75
+ }));
76
+ element.appendChild(this._scrollableElement.getDomNode());
77
+ this._register(toDisposable(() => this._scrollableElement.getDomNode().remove()));
78
+
79
+ this._styleElement = coreBrowserService.mainDocument.createElement('style');
80
+ screenElement.appendChild(this._styleElement);
81
+ this._register(toDisposable(() => this._styleElement.remove()));
82
+ this._register(Event.runAndSubscribe(themeService.onChangeColors, () => {
83
+ this._styleElement.textContent = [
84
+ `.xterm .xterm-scrollable-element > .scrollbar > .slider {`,
85
+ ` background: ${themeService.colors.scrollbarSliderBackground.css};`,
86
+ `}`,
87
+ `.xterm .xterm-scrollable-element > .scrollbar > .slider:hover {`,
88
+ ` background: ${themeService.colors.scrollbarSliderHoverBackground.css};`,
89
+ `}`,
90
+ `.xterm .xterm-scrollable-element > .scrollbar > .slider.active {`,
91
+ ` background: ${themeService.colors.scrollbarSliderActiveBackground.css};`,
92
+ `}`
93
+ ].join('\n');
94
+ }));
95
+
96
+ this._register(this._bufferService.onResize(() => this._queueSync()));
97
+ this._register(this._bufferService.buffers.onBufferActivate(() => this._queueSync()));
98
+ this._register(this._bufferService.onScroll(() => this._sync()));
99
+
100
+ this._register(this._scrollableElement.onScroll(e => this._handleScroll(e)));
101
101
  }
102
102
 
103
- /**
104
- * Refreshes row height, setting line-height, viewport height and scroll area height if
105
- * necessary.
106
- */
107
- private _refresh(immediate: boolean): void {
108
- if (immediate) {
109
- this._innerRefresh();
110
- if (this._refreshAnimationFrame !== null) {
111
- this._coreBrowserService.window.cancelAnimationFrame(this._refreshAnimationFrame);
112
- }
113
- return;
114
- }
115
- if (this._refreshAnimationFrame === null) {
116
- this._refreshAnimationFrame = this._coreBrowserService.window.requestAnimationFrame(() => this._innerRefresh());
117
- }
103
+ public scrollLines(disp: number): void {
104
+ const pos = this._scrollableElement.getScrollPosition();
105
+ this._scrollableElement.setScrollPosition({
106
+ reuseAnimation: true,
107
+ scrollTop: pos.scrollTop + disp * this._renderService.dimensions.css.cell.height
108
+ });
118
109
  }
119
110
 
120
- private _innerRefresh(): void {
121
- if (this._charSizeService.height > 0) {
122
- this._currentRowHeight = this._renderDimensions.device.cell.height / this._coreBrowserService.dpr;
123
- this._currentDeviceCellHeight = this._renderDimensions.device.cell.height;
124
- this._lastRecordedViewportHeight = this._viewportElement.offsetHeight;
125
- const newBufferHeight = Math.round(this._currentRowHeight * this._lastRecordedBufferLength) + (this._lastRecordedViewportHeight - this._renderDimensions.css.canvas.height);
126
- if (this._lastRecordedBufferHeight !== newBufferHeight) {
127
- this._lastRecordedBufferHeight = newBufferHeight;
128
- this._scrollArea.style.height = this._lastRecordedBufferHeight + 'px';
129
- }
111
+ public scrollToLine(line: number, disableSmoothScroll?: boolean): void {
112
+ if (disableSmoothScroll) {
113
+ this._latestYDisp = line;
130
114
  }
131
-
132
- // Sync scrollTop
133
- const scrollTop = this._bufferService.buffer.ydisp * this._currentRowHeight;
134
- if (this._viewportElement.scrollTop !== scrollTop) {
135
- // Ignore the next scroll event which will be triggered by setting the scrollTop as we do not
136
- // want this event to scroll the terminal
137
- this._ignoreNextScrollEvent = true;
138
- this._viewportElement.scrollTop = scrollTop;
139
- }
140
-
141
- this._refreshAnimationFrame = null;
115
+ this._scrollableElement.setScrollPosition({
116
+ reuseAnimation: !disableSmoothScroll,
117
+ scrollTop: line * this._renderService.dimensions.css.cell.height
118
+ });
142
119
  }
143
120
 
144
- /**
145
- * Updates dimensions and synchronizes the scroll area if necessary.
146
- */
147
- public syncScrollArea(immediate: boolean = false): void {
148
- // If buffer height changed
149
- if (this._lastRecordedBufferLength !== this._bufferService.buffer.lines.length) {
150
- this._lastRecordedBufferLength = this._bufferService.buffer.lines.length;
151
- this._refresh(immediate);
152
- return;
153
- }
154
-
155
- // If viewport height changed
156
- if (this._lastRecordedViewportHeight !== this._renderService.dimensions.css.canvas.height) {
157
- this._refresh(immediate);
158
- return;
159
- }
160
-
161
- // If the buffer position doesn't match last scroll top
162
- if (this._lastScrollTop !== this._activeBuffer.ydisp * this._currentRowHeight) {
163
- this._refresh(immediate);
164
- return;
165
- }
166
-
167
- // If row height changed
168
- if (this._renderDimensions.device.cell.height !== this._currentDeviceCellHeight) {
169
- this._refresh(immediate);
170
- return;
171
- }
121
+ private _getChangeOptions(): ScrollableElementChangeOptions {
122
+ return {
123
+ mouseWheelScrollSensitivity: this._optionsService.rawOptions.scrollSensitivity,
124
+ fastScrollSensitivity: this._optionsService.rawOptions.fastScrollSensitivity,
125
+ verticalScrollbarSize: this._optionsService.rawOptions.overviewRuler?.width || ViewportConstants.DEFAULT_SCROLL_BAR_WIDTH
126
+ };
172
127
  }
173
128
 
174
- /**
175
- * Handles scroll events on the viewport, calculating the new viewport and requesting the
176
- * terminal to scroll to it.
177
- * @param ev The scroll event.
178
- */
179
- private _handleScroll(ev: Event): void {
180
- // Record current scroll top position
181
- this._lastScrollTop = this._viewportElement.scrollTop;
182
-
183
- // Don't attempt to scroll if the element is not visible, otherwise scrollTop will be corrupt
184
- // which causes the terminal to scroll the buffer to the top
185
- if (!this._viewportElement.offsetParent) {
186
- return;
129
+ private _queueSync(ydisp?: number): void {
130
+ // Update state
131
+ if (ydisp !== undefined) {
132
+ this._latestYDisp = ydisp;
187
133
  }
188
134
 
189
- // Ignore the event if it was flagged to ignore (when the source of the event is from Viewport)
190
- if (this._ignoreNextScrollEvent) {
191
- this._ignoreNextScrollEvent = false;
192
- // Still trigger the scroll so lines get refreshed
193
- this._onRequestScrollLines.fire({ amount: 0, suppressScrollEvent: true });
135
+ // Don't queue more than one callback
136
+ if (this._queuedAnimationFrame !== undefined) {
194
137
  return;
195
138
  }
196
-
197
- const newRow = Math.round(this._lastScrollTop / this._currentRowHeight);
198
- const diff = newRow - this._bufferService.buffer.ydisp;
199
- this._onRequestScrollLines.fire({ amount: diff, suppressScrollEvent: true });
139
+ this._queuedAnimationFrame = this._renderService.addRefreshCallback(() => {
140
+ this._queuedAnimationFrame = undefined;
141
+ this._sync(this._latestYDisp);
142
+ });
200
143
  }
201
144
 
202
- private _smoothScroll(): void {
203
- // Check valid state
204
- if (this._isDisposed || this._smoothScrollState.origin === -1 || this._smoothScrollState.target === -1) {
145
+ private _sync(ydisp: number = this._bufferService.buffer.ydisp): void {
146
+ if (!this._renderService || this._isSyncing) {
205
147
  return;
206
148
  }
149
+ this._isSyncing = true;
207
150
 
208
- // Calculate position complete
209
- const percent = this._smoothScrollPercent();
210
- this._viewportElement.scrollTop = this._smoothScrollState.origin + Math.round(percent * (this._smoothScrollState.target - this._smoothScrollState.origin));
151
+ // Ignore any onScroll event that happens as a result of dimensions changing as this should
152
+ // never cause a scrollLines call, only setScrollPosition can do that.
153
+ this._suppressOnScrollHandler = true;
154
+ this._scrollableElement.setScrollDimensions({
155
+ height: this._renderService.dimensions.css.canvas.height,
156
+ scrollHeight: this._renderService.dimensions.css.cell.height * this._bufferService.buffer.lines.length
157
+ });
158
+ this._suppressOnScrollHandler = false;
211
159
 
212
- // Continue or finish smooth scroll
213
- if (percent < 1) {
214
- this._coreBrowserService.window.requestAnimationFrame(() => this._smoothScroll());
215
- } else {
216
- this._clearSmoothScrollState();
160
+ // If ydisp has been changed by some other copmonent (input/buffer), then stop animating smooth
161
+ // scroll and scroll there immediately.
162
+ if (ydisp !== this._latestYDisp) {
163
+ this._scrollableElement.setScrollPosition({
164
+ scrollTop: ydisp * this._renderService.dimensions.css.cell.height
165
+ });
217
166
  }
218
- }
219
-
220
- private _smoothScrollPercent(): number {
221
- if (!this._optionsService.rawOptions.smoothScrollDuration || !this._smoothScrollState.startTime) {
222
- return 1;
223
- }
224
- return Math.max(Math.min((Date.now() - this._smoothScrollState.startTime) / this._optionsService.rawOptions.smoothScrollDuration, 1), 0);
225
- }
226
-
227
- private _clearSmoothScrollState(): void {
228
- this._smoothScrollState.startTime = 0;
229
- this._smoothScrollState.origin = -1;
230
- this._smoothScrollState.target = -1;
231
- }
232
-
233
- /**
234
- * Handles bubbling of scroll event in case the viewport has reached top or bottom
235
- * @param ev The scroll event.
236
- * @param amount The amount scrolled
237
- */
238
- private _bubbleScroll(ev: Event, amount: number): boolean {
239
- const scrollPosFromTop = this._viewportElement.scrollTop + this._lastRecordedViewportHeight;
240
- if ((amount < 0 && this._viewportElement.scrollTop !== 0) ||
241
- (amount > 0 && scrollPosFromTop < this._lastRecordedBufferHeight)) {
242
- if (ev.cancelable) {
243
- ev.preventDefault();
244
- }
245
- return false;
246
- }
247
- return true;
248
- }
249
167
 
250
- /**
251
- * Handles mouse wheel events by adjusting the viewport's scrollTop and delegating the actual
252
- * scrolling to `onScroll`, this event needs to be attached manually by the consumer of
253
- * `Viewport`.
254
- * @param ev The mouse wheel event.
255
- */
256
- public handleWheel(ev: WheelEvent): boolean {
257
- const amount = this._getPixelsScrolled(ev);
258
- if (amount === 0) {
259
- return false;
260
- }
261
- if (!this._optionsService.rawOptions.smoothScrollDuration) {
262
- this._viewportElement.scrollTop += amount;
263
- } else {
264
- this._smoothScrollState.startTime = Date.now();
265
- if (this._smoothScrollPercent() < 1) {
266
- this._smoothScrollState.origin = this._viewportElement.scrollTop;
267
- if (this._smoothScrollState.target === -1) {
268
- this._smoothScrollState.target = this._viewportElement.scrollTop + amount;
269
- } else {
270
- this._smoothScrollState.target += amount;
271
- }
272
- this._smoothScrollState.target = Math.max(Math.min(this._smoothScrollState.target, this._viewportElement.scrollHeight), 0);
273
- this._smoothScroll();
274
- } else {
275
- this._clearSmoothScrollState();
276
- }
277
- }
278
- return this._bubbleScroll(ev, amount);
168
+ this._isSyncing = false;
279
169
  }
280
170
 
281
- public scrollLines(disp: number): void {
282
- if (disp === 0) {
171
+ private _handleScroll(e: ScrollEvent): void {
172
+ if (!this._renderService) {
283
173
  return;
284
174
  }
285
- if (!this._optionsService.rawOptions.smoothScrollDuration) {
286
- this._onRequestScrollLines.fire({ amount: disp, suppressScrollEvent: false });
287
- } else {
288
- const amount = disp * this._currentRowHeight;
289
- this._smoothScrollState.startTime = Date.now();
290
- if (this._smoothScrollPercent() < 1) {
291
- this._smoothScrollState.origin = this._viewportElement.scrollTop;
292
- this._smoothScrollState.target = this._smoothScrollState.origin + amount;
293
- this._smoothScrollState.target = Math.max(Math.min(this._smoothScrollState.target, this._viewportElement.scrollHeight), 0);
294
- this._smoothScroll();
295
- } else {
296
- this._clearSmoothScrollState();
297
- }
298
- }
299
- }
300
-
301
- private _getPixelsScrolled(ev: WheelEvent): number {
302
- // Do nothing if it's not a vertical scroll event
303
- if (ev.deltaY === 0 || ev.shiftKey) {
304
- return 0;
305
- }
306
-
307
- // Fallback to WheelEvent.DOM_DELTA_PIXEL
308
- let amount = this._applyScrollModifier(ev.deltaY, ev);
309
- if (ev.deltaMode === WheelEvent.DOM_DELTA_LINE) {
310
- amount *= this._currentRowHeight;
311
- } else if (ev.deltaMode === WheelEvent.DOM_DELTA_PAGE) {
312
- amount *= this._currentRowHeight * this._bufferService.rows;
313
- }
314
- return amount;
315
- }
316
-
317
-
318
- public getBufferElements(startLine: number, endLine?: number): { bufferElements: HTMLElement[], cursorElement?: HTMLElement } {
319
- let currentLine: string = '';
320
- let cursorElement: HTMLElement | undefined;
321
- const bufferElements: HTMLElement[] = [];
322
- const end = endLine ?? this._bufferService.buffer.lines.length;
323
- const lines = this._bufferService.buffer.lines;
324
- for (let i = startLine; i < end; i++) {
325
- const line = lines.get(i);
326
- if (!line) {
327
- continue;
328
- }
329
- const isWrapped = lines.get(i + 1)?.isWrapped;
330
- currentLine += line.translateToString(!isWrapped);
331
- if (!isWrapped || i === lines.length - 1) {
332
- const div = document.createElement('div');
333
- div.textContent = currentLine;
334
- bufferElements.push(div);
335
- if (currentLine.length > 0) {
336
- cursorElement = div;
337
- }
338
- currentLine = '';
339
- }
340
- }
341
- return { bufferElements, cursorElement };
342
- }
343
-
344
- /**
345
- * Gets the number of pixels scrolled by the mouse event taking into account what type of delta
346
- * is being used.
347
- * @param ev The mouse wheel event.
348
- */
349
- public getLinesScrolled(ev: WheelEvent): number {
350
- // Do nothing if it's not a vertical scroll event
351
- if (ev.deltaY === 0 || ev.shiftKey) {
352
- return 0;
353
- }
354
-
355
- // Fallback to WheelEvent.DOM_DELTA_LINE
356
- let amount = this._applyScrollModifier(ev.deltaY, ev);
357
- if (ev.deltaMode === WheelEvent.DOM_DELTA_PIXEL) {
358
- amount /= this._currentRowHeight + 0.0; // Prevent integer division
359
- this._wheelPartialScroll += amount;
360
- amount = Math.floor(Math.abs(this._wheelPartialScroll)) * (this._wheelPartialScroll > 0 ? 1 : -1);
361
- this._wheelPartialScroll %= 1;
362
- } else if (ev.deltaMode === WheelEvent.DOM_DELTA_PAGE) {
363
- amount *= this._bufferService.rows;
364
- }
365
- return amount;
366
- }
367
-
368
- private _applyScrollModifier(amount: number, ev: WheelEvent): number {
369
- const modifier = this._optionsService.rawOptions.fastScrollModifier;
370
- // Multiply the scroll speed when the modifier is down
371
- if ((modifier === 'alt' && ev.altKey) ||
372
- (modifier === 'ctrl' && ev.ctrlKey) ||
373
- (modifier === 'shift' && ev.shiftKey)) {
374
- return amount * this._optionsService.rawOptions.fastScrollSensitivity * this._optionsService.rawOptions.scrollSensitivity;
175
+ if (this._isHandlingScroll || this._suppressOnScrollHandler) {
176
+ return;
375
177
  }
376
-
377
- return amount * this._optionsService.rawOptions.scrollSensitivity;
378
- }
379
-
380
- /**
381
- * Handles the touchstart event, recording the touch occurred.
382
- * @param ev The touch event.
383
- */
384
- public handleTouchStart(ev: TouchEvent): void {
385
- this._lastTouchY = ev.touches[0].pageY;
386
- }
387
-
388
- /**
389
- * Handles the touchmove event, scrolling the viewport if the position shifted.
390
- * @param ev The touch event.
391
- */
392
- public handleTouchMove(ev: TouchEvent): boolean {
393
- const deltaY = this._lastTouchY - ev.touches[0].pageY;
394
- this._lastTouchY = ev.touches[0].pageY;
395
- if (deltaY === 0) {
396
- return false;
178
+ this._isHandlingScroll = true;
179
+ const newRow = Math.round(e.scrollTop / this._renderService.dimensions.css.cell.height);
180
+ const diff = newRow - this._bufferService.buffer.ydisp;
181
+ if (diff !== 0) {
182
+ this._latestYDisp = newRow;
183
+ this._onRequestScrollLines.fire(diff);
397
184
  }
398
- this._viewportElement.scrollTop += deltaY;
399
- return this._bubbleScroll(ev, deltaY);
185
+ this._isHandlingScroll = false;
400
186
  }
401
187
  }
@@ -4,7 +4,7 @@
4
4
  *--------------------------------------------------------------------------------------------*/
5
5
 
6
6
  import { ICoreBrowserService, IRenderService } from 'browser/services/Services';
7
- import { Disposable, toDisposable } from 'common/Lifecycle';
7
+ import { Disposable, toDisposable } from 'vs/base/common/lifecycle';
8
8
  import { IBufferService, IDecorationService, IInternalDecoration } from 'common/services/Services';
9
9
 
10
10
  export class BufferDecorationRenderer extends Disposable {
@@ -28,18 +28,18 @@ export class BufferDecorationRenderer extends Disposable {
28
28
  this._container.classList.add('xterm-decoration-container');
29
29
  this._screenElement.appendChild(this._container);
30
30
 
31
- this.register(this._renderService.onRenderedViewportChange(() => this._doRefreshDecorations()));
32
- this.register(this._renderService.onDimensionsChange(() => {
31
+ this._register(this._renderService.onRenderedViewportChange(() => this._doRefreshDecorations()));
32
+ this._register(this._renderService.onDimensionsChange(() => {
33
33
  this._dimensionsChanged = true;
34
34
  this._queueRefresh();
35
35
  }));
36
- this.register(this._coreBrowserService.onDprChange(() => this._queueRefresh()));
37
- this.register(this._bufferService.buffers.onBufferActivate(() => {
36
+ this._register(this._coreBrowserService.onDprChange(() => this._queueRefresh()));
37
+ this._register(this._bufferService.buffers.onBufferActivate(() => {
38
38
  this._altBufferIsActive = this._bufferService.buffer === this._bufferService.buffers.alt;
39
39
  }));
40
- this.register(this._decorationService.onDecorationRegistered(() => this._queueRefresh()));
41
- this.register(this._decorationService.onDecorationRemoved(decoration => this._removeDecoration(decoration)));
42
- this.register(toDisposable(() => {
40
+ this._register(this._decorationService.onDecorationRegistered(() => this._queueRefresh()));
41
+ this._register(this._decorationService.onDecorationRemoved(decoration => this._removeDecoration(decoration)));
42
+ this._register(toDisposable(() => {
43
43
  this._container.remove();
44
44
  this._decorationElements.clear();
45
45
  }));
@@ -108,8 +108,13 @@ export class BufferDecorationRenderer extends Disposable {
108
108
  element!.remove();
109
109
  });
110
110
  }
111
- element.style.top = `${line * this._renderService.dimensions.css.cell.height}px`;
112
111
  element.style.display = this._altBufferIsActive ? 'none' : 'block';
112
+ if (!this._altBufferIsActive) {
113
+ element.style.width = `${Math.round((decoration.options.width || 1) * this._renderService.dimensions.css.cell.width)}px`;
114
+ element.style.height = `${(decoration.options.height || 1) * this._renderService.dimensions.css.cell.height}px`;
115
+ element.style.top = `${line * this._renderService.dimensions.css.cell.height}px`;
116
+ element.style.lineHeight = `${this._renderService.dimensions.css.cell.height}px`;
117
+ }
113
118
  decoration.onRenderEmitter.fire(element);
114
119
  }
115
120
  }