var onBrowserDesperateReveal = (domNode:HTMLElement, lookAtScrollTop:boolean, lookAtScrollLeft:boolean) => {
if (lookAtScrollTop) {
var deltaTop = domNode.scrollTop;
if (deltaTop) {
this.scrollable.setScrollTop(this.scrollable.getScrollTop() + deltaTop);
domNode.scrollTop = 0;
}
}
if (lookAtScrollLeft) {
var deltaLeft = domNode.scrollLeft;
if (deltaLeft) {
this.scrollable.setScrollLeft(this.scrollable.getScrollLeft() + deltaLeft);
domNode.scrollLeft = 0;
}
}
};
function assertScrollState(scrollable:EditorScrollable, scrollTop:number, scrollLeft:number, width:number, height:number, scrollWidth:number, scrollHeight:number) {
assert.equal(scrollable.getScrollTop(), scrollTop);
assert.equal(scrollable.getScrollLeft(), scrollLeft);
assert.equal(scrollable.getScrollWidth(), scrollWidth);
assert.equal(scrollable.getScrollHeight(), scrollHeight);
assert.equal(scrollable.getWidth(), width);
assert.equal(scrollable.getHeight(), height);
}
constructor(scrollable:EditorScrollable, configuration:EditorCommon.IConfiguration, privateViewEventBus:EditorCommon.IViewEventBus, linesContent:HTMLElement, viewDomNode:HTMLElement, overflowGuardDomNode:HTMLElement) {
this.toDispose = [];
this.scrollable = scrollable;
this.configuration = configuration;
this.privateViewEventBus = privateViewEventBus;
this.linesContent = linesContent;
this.toDispose.push(this.scrollable.addScrollListener((e:EditorCommon.IScrollEvent) => {
this.privateViewEventBus.emit(EditorCommon.EventType.ViewScrollChanged, e);
}));
var configScrollbarOpts = this.configuration.editor.scrollbar;
var scrollbarOptions:ScrollableElement.ICreationOptions = {
scrollable: this.scrollable,
listenOnDomNode: viewDomNode,
vertical: configScrollbarOpts.vertical,
horizontal: configScrollbarOpts.horizontal,
className: EditorBrowser.ClassNames.SCROLLABLE_ELEMENT + ' ' + this.configuration.editor.theme,
useShadows: false,
saveLastScrollTimeOnClassName: EditorBrowser.ClassNames.VIEW_LINE
};
addPropertyIfPresent(configScrollbarOpts, scrollbarOptions, 'verticalHasArrows');
addPropertyIfPresent(configScrollbarOpts, scrollbarOptions, 'horizontalHasArrows');
addPropertyIfPresent(configScrollbarOpts, scrollbarOptions, 'verticalScrollbarSize');
addPropertyIfPresent(configScrollbarOpts, scrollbarOptions, 'verticalSliderSize');
addPropertyIfPresent(configScrollbarOpts, scrollbarOptions, 'horizontalScrollbarSize');
addPropertyIfPresent(configScrollbarOpts, scrollbarOptions, 'horizontalSliderSize');
addPropertyIfPresent(configScrollbarOpts, scrollbarOptions, 'handleMouseWheel');
addPropertyIfPresent(configScrollbarOpts, scrollbarOptions, 'arrowSize');
addPropertyIfPresent(configScrollbarOpts, scrollbarOptions, 'mouseWheelScrollSensitivity');
this.scrollbar = new ScrollableElementImpl.ScrollableElement(linesContent, scrollbarOptions, {
width: this.configuration.editor.layoutInfo.contentWidth,
height: this.configuration.editor.layoutInfo.contentHeight,
});
this.toDispose.push(this.scrollbar);
this.toDispose.push(this.scrollable.addInternalSizeChangeListener(() => {
this.scrollbar.onElementInternalDimensions();
}));
this.toDispose.push(this.configuration.addListener2(EditorCommon.EventType.ConfigurationChanged, (e:EditorCommon.IConfigurationChangedEvent) => {
this.scrollbar.updateClassName(this.configuration.editor.theme);
if (e.scrollbar) {
this.scrollbar.updateOptions(this.configuration.editor.scrollbar);
}
}));
// When having a zone widget that calls .focus() on one of its dom elements,
// the browser will try desperately to reveal that dom node, unexpectedly
// changing the .scrollTop of this.linesContent
var onBrowserDesperateReveal = (domNode:HTMLElement, lookAtScrollTop:boolean, lookAtScrollLeft:boolean) => {
if (lookAtScrollTop) {
var deltaTop = domNode.scrollTop;
if (deltaTop) {
this.scrollable.setScrollTop(this.scrollable.getScrollTop() + deltaTop);
domNode.scrollTop = 0;
}
}
if (lookAtScrollLeft) {
var deltaLeft = domNode.scrollLeft;
if (deltaLeft) {
this.scrollable.setScrollLeft(this.scrollable.getScrollLeft() + deltaLeft);
domNode.scrollLeft = 0;
}
}
};
// I've seen this happen both on the view dom node & on the lines content dom node.
this.toDispose.push(DomUtils.addDisposableListener(viewDomNode, 'scroll', (e:Event) => onBrowserDesperateReveal(viewDomNode, true, true)));
this.toDispose.push(DomUtils.addDisposableListener(linesContent, 'scroll', (e:Event) => onBrowserDesperateReveal(linesContent, true, false)));
this.toDispose.push(DomUtils.addDisposableListener(overflowGuardDomNode, 'scroll', (e:Event) => onBrowserDesperateReveal(overflowGuardDomNode, true, false)));
}
test('EditorScrollable', () => {
var scrollable = new EditorScrollable();
scrollable.setWidth(100);
scrollable.setHeight(100);
assertScrollState(scrollable, 0, 0, 100, 100, 100, 100);
// Make it vertically scrollable
scrollable.setScrollHeight(1000);
assertScrollState(scrollable, 0, 0, 100, 100, 100, 1000);
// Scroll vertically...
scrollable.setScrollTop(10);
assertScrollState(scrollable, 10, 0, 100, 100, 100, 1000);
scrollable.setScrollTop(900);
assertScrollState(scrollable, 900, 0, 100, 100, 100, 1000);
scrollable.setScrollTop(-1);
assertScrollState(scrollable, 0, 0, 100, 100, 100, 1000);
scrollable.setScrollTop(901);
assertScrollState(scrollable, 900, 0, 100, 100, 100, 1000);
scrollable.setScrollTop(9001);
assertScrollState(scrollable, 900, 0, 100, 100, 100, 1000);
// Increase vertical size => scrollTop should readjust
scrollable.setHeight(200);
assertScrollState(scrollable, 800, 0, 100, 200, 100, 1000);
// Reset height & scrollHeight
scrollable.setScrollHeight(100);
assertScrollState(scrollable, 0, 0, 100, 200, 100, 200);
scrollable.setHeight(100);
assertScrollState(scrollable, 0, 0, 100, 100, 100, 200);
scrollable.setScrollHeight(100);
assertScrollState(scrollable, 0, 0, 100, 100, 100, 100);
// Make it vertically scrollable
scrollable.setScrollWidth(1000);
assertScrollState(scrollable, 0, 0, 100, 100, 1000, 100);
// Scroll horizontally...
scrollable.setScrollLeft(10);
assertScrollState(scrollable, 0, 10, 100, 100, 1000, 100);
scrollable.setScrollLeft(900);
assertScrollState(scrollable, 0, 900, 100, 100, 1000, 100);
scrollable.setScrollLeft(-1);
assertScrollState(scrollable, 0, 0, 100, 100, 1000, 100);
scrollable.setScrollLeft(901);
assertScrollState(scrollable, 0, 900, 100, 100, 1000, 100);
scrollable.setScrollLeft(9001);
assertScrollState(scrollable, 0, 900, 100, 100, 1000, 100);
// Increase horizontal size => scrollLeft should readjust
scrollable.setWidth(200);
assertScrollState(scrollable, 0, 800, 200, 100, 1000, 100);
// Validate with / height
scrollable.setWidth(-1);
assertScrollState(scrollable, 0, 800, 0, 100, 1000, 100);
scrollable.setScrollWidth(-1);
assertScrollState(scrollable, 0, 0, 0, 100, 0, 100);
scrollable.setHeight(-1);
assertScrollState(scrollable, 0, 0, 0, 0, 0, 100);
scrollable.setScrollHeight(-1);
assertScrollState(scrollable, 0, 0, 0, 0, 0, 0);
});