{ divHeight = element.clientHeight }} class="scroll relative flex-shrink" style:overflow-x={horizontal ? 'auto' : 'hidden'} on:scroll={() => { if ($tooltipstore.label !== undefined) closeTooltip() // TODO: Workaround: https://front.hc.engineering/workbench/platform/tracker/TSK-760 // In Safari scroll could jump on click, with no particular reason. if (safariScrollJumpfix) { const newPos = divScroll?.scrollTop ?? 0 if ( !scrolling && !isScrolling && scrollY !== 0 && Math.abs(newPos - scrollY) > 100 && divScroll !== undefined && isSafari() ) { divScroll.scrollTop = scrollY } scrollY = divScroll?.scrollTop ?? 0 } }} >
{ checkAutoScroll() checkFade() }} on:dragover on:drop on:scroll > {#if bottomStart}
{/if}
{#if buttons === 'normal'} {:else if buttons === 'union'}
{/if}
onScrollStart(ev, 'vertical')} on:mouseleave={checkFade} />
{#if horizontal}
onScrollStart(ev, 'horizontal')} on:mouseleave={checkFade} />
{/if}