@node-projects/web-component-designer 0.0.81 → 0.0.85

package/dist/elements/controls/PlainScrollbar.js

@@ -1,348 +1,348 @@
-//included from: https://github.com/chdh/plain-scrollbar
-class Widget {
-    host;
-    root;
-    trough;
-    button1; // up/left button
-    button2; // down/right button
-    thumb;
-    isConnected = false;
-    thumbSize = 0.3; // relative thumb size (0..1)
-    value = 0; // current scrollbar position (0..1)
-    orientation = false; // false=horizontal, true=vertical
-    clickRepeatDelay = 300; // click repetition delay time in ms
-    clickRepeatInterval = 100; // click repetition interval time in ms
-    defaultThumbMinSize = 25; // default for minimum thumb size in pixels
-    dragStartPos; // dragging start pointer position (clientX/Y)
-    dragStartValue; // dragging start scrollbar position
-    eventTimeoutId;
-    pointerCaptureId; // `undefined` = no capture active
-    pointerCaptureElement;
-    // User interaction state:
-    thumbDragging; // true while user is dragging the thumb
-    button1Active; // true while user has pointer clicked down on button 1
-    button2Active; // true while user has pointer clicked down on button 2
-    troughActive; // true while user has pointer clicked down on trough
-    constructor(host) {
-        this.host = host;
-        host.attachShadow({ mode: "open" });
-        const shadowRoot = host.shadowRoot;
-        shadowRoot.innerHTML = scrollbarHtmlTemplate;
-        this.root = shadowRoot.querySelector("#root");
-        this.trough = shadowRoot.querySelector("#trough");
-        this.button1 = shadowRoot.querySelector("#button1");
-        this.button2 = shadowRoot.querySelector("#button2");
-        this.thumb = shadowRoot.querySelector("#thumb");
-        this.trough.addEventListener("pointerdown", this.onTroughPointerDown);
-        this.trough.addEventListener("pointerup", this.onPointerUp);
-        this.trough.addEventListener("pointercancel", this.onPointerUp);
-        this.button1.addEventListener("pointerdown", (event) => this.onButtonPointerDown(event, 1));
-        this.button1.addEventListener("pointerup", this.onPointerUp);
-        this.button1.addEventListener("pointercancel", this.onPointerUp);
-        this.button1.addEventListener("contextmenu", (e) => e.preventDefault()); // to prevent popup on long touch
-        this.button2.addEventListener("pointerdown", (event) => this.onButtonPointerDown(event, 2));
-        this.button2.addEventListener("pointerup", this.onPointerUp);
-        this.button2.addEventListener("pointercancel", this.onPointerUp);
-        this.button2.addEventListener("contextmenu", (e) => e.preventDefault()); // to prevent popup on long touch
-        this.thumb.addEventListener("pointerdown", this.onThumbPointerDown);
-        this.thumb.addEventListener("pointerup", this.onPointerUp);
-        this.thumb.addEventListener("pointercancel", this.onPointerUp);
-        this.thumb.addEventListener("pointermove", this.onThumbPointerMove);
-        this.resetInteractionState();
-    }
-    resetInteractionState() {
-        this.thumbDragging = false;
-        this.button1Active = false;
-        this.button2Active = false;
-        this.troughActive = false;
-    }
-    connectedCallback() {
-        this.isConnected = true;
-        this.resetInteractionState();
-        this.updateLayout();
-        this.updateStyle();
-    }
-    disconnectedCallback() {
-        this.isConnected = false;
-        this.resetInteractionState();
-        this.stopEventRepetition();
-        this.stopPointerCapture();
-    }
-    updateLayout() {
-        if (!this.isConnected) {
-            return;
-        }
-        this.root.classList.toggle("horizontal", !this.orientation);
-        this.root.classList.toggle("vertical", this.orientation);
-        this.thumb.style.display = (this.thumbSize == 0) ? "none" : "";
-        this.thumb.style.height = this.orientation ? percent(this.getEffectiveThumbSize()) : "";
-        this.thumb.style.width = this.orientation ? "" : percent(this.getEffectiveThumbSize());
-        this.thumb.style.top = "";
-        this.thumb.style.left = "";
-        this.updateThumbPosition();
-    }
-    updateStyle() {
-        if (!this.isConnected) {
-            return;
-        }
-        this.thumb.classList.toggle("active", this.thumbDragging);
-        this.button1.classList.toggle("active", this.button1Active);
-        this.button2.classList.toggle("active", this.button2Active);
-        void this.troughActive;
-    } // tslint:disable-line
-    updateThumbPosition() {
-        const v = (1 - this.getEffectiveThumbSize()) * this.value;
-        if (this.orientation) {
-            this.thumb.style.top = percent(v);
-        }
-        else {
-            this.thumb.style.left = percent(v);
-        }
-    }
-    getThroughSize() {
-        return this.orientation ? this.trough.clientHeight : this.trough.clientWidth;
-    }
-    computeThumbMoveValue(distancePixels) {
-        const troughSlidePixels = this.getThroughSize() * (1 - this.getEffectiveThumbSize());
-        if (troughSlidePixels < EPS) {
-            return 0;
-        }
-        return distancePixels / troughSlidePixels;
-    }
-    setThumbSize(newThumbSize) {
-        const clippedNewThumbSize = Math.max(0, Math.min(1, newThumbSize));
-        if (clippedNewThumbSize == this.thumbSize) {
-            return;
-        }
-        this.thumbSize = clippedNewThumbSize;
-        this.updateLayout();
-    }
-    getThumbMinSize() {
-        const s = this.getCssVar("--plain-scrollbar-thumb-min-size");
-        if (!s) {
-            return this.defaultThumbMinSize;
-        }
-        const px = decodePxValue(s);
-        if (!px) {
-            return this.defaultThumbMinSize;
-        }
-        return px;
-    }
-    getEffectiveThumbSize() {
-        const thumbMinSize = this.getThumbMinSize();
-        const throughSize = this.getThroughSize();
-        if (!throughSize) {
-            return this.thumbSize;
-        }
-        const min = Math.min(1, thumbMinSize / throughSize);
-        return Math.max(min, this.thumbSize);
-    }
-    setValue(newValue) {
-        const clippedNewValue = Math.max(0, Math.min(1, newValue));
-        if (clippedNewValue == this.value) {
-            return false;
-        }
-        this.value = clippedNewValue;
-        this.updateThumbPosition();
-        return true;
-    }
-    setOrientation(newOrientation) {
-        if (newOrientation == this.orientation) {
-            return false;
-        }
-        this.orientation = newOrientation;
-        this.updateLayout();
-        return true;
-    }
-    getCssVar(varName) {
-        const s = getComputedStyle(this.root).getPropertyValue(varName);
-        if (!s) {
-            return null;
-        }
-        return s.trim();
-    }
-    //--- Outgoing events -------------------------------------------------------
-    fireEvent(eventSubType) {
-        const event = new CustomEvent("scrollbar-input", { detail: eventSubType });
-        this.host.dispatchEvent(event);
-    }
-    fireEventRepeatedly(eventSubType, repeatDelay, repeatInterval, repeatCounter = 0) {
-        this.stopEventRepetition();
-        this.fireEvent(eventSubType);
-        const delay = (repeatCounter == 0) ? repeatDelay : repeatInterval;
-        const f = () => this.fireEventRepeatedly(eventSubType, repeatDelay, repeatInterval, repeatCounter + 1);
-        this.eventTimeoutId = setTimeout(f, delay);
-    }
-    stopEventRepetition() {
-        if (this.eventTimeoutId) {
-            clearTimeout(this.eventTimeoutId);
-            this.eventTimeoutId = undefined;
-        }
-    }
-    //--- Pointer input ----------------------------------------------------------
-    startPointerCapture(element, pointerId) {
-        this.stopPointerCapture();
-        element.setPointerCapture(pointerId);
-        this.pointerCaptureElement = element;
-        this.pointerCaptureId = pointerId;
-    }
-    stopPointerCapture() {
-        if (!this.pointerCaptureId) {
-            return;
-        }
-        this.pointerCaptureElement.releasePointerCapture(this.pointerCaptureId);
-        this.pointerCaptureId = undefined;
-    }
-    onTroughPointerDown = (event) => {
-        if (!this.isConnected || this.pointerCaptureId) {
-            return;
-        }
-        if (!event.isPrimary || event.altKey || event.ctrlKey || event.metaKey || event.shiftKey || event.button != 0) {
-            return;
-        }
-        const r = this.trough.getBoundingClientRect();
-        const pos = this.orientation ? event.clientY - r.top : event.clientX - r.left;
-        const threshold = (this.orientation ? r.height : r.width) * (1 - this.getEffectiveThumbSize()) * this.value;
-        const direction = pos > threshold;
-        const eventSubType = direction ? "incrementLarge" : "decrementLarge";
-        this.troughActive = true;
-        event.preventDefault();
-        this.startPointerCapture(this.trough, event.pointerId);
-        this.fireEventRepeatedly(eventSubType, this.clickRepeatDelay, this.clickRepeatInterval);
-    };
-    onButtonPointerDown = (event, buttonNo) => {
-        if (!this.isConnected || this.pointerCaptureId) {
-            return;
-        }
-        if (!event.isPrimary || event.altKey || event.ctrlKey || event.metaKey || event.shiftKey || event.button != 0) {
-            return;
-        }
-        switch (buttonNo) {
-            case 1:
-                this.button1Active = true;
-                break;
-            case 2:
-                this.button2Active = true;
-                break;
-        }
-        const eventSubType = (buttonNo == 1) ? "decrementSmall" : "incrementSmall";
-        this.updateStyle();
-        event.preventDefault();
-        const buttonElement = (buttonNo == 1) ? this.button1 : this.button2;
-        this.startPointerCapture(buttonElement, event.pointerId);
-        this.fireEventRepeatedly(eventSubType, this.clickRepeatDelay, this.clickRepeatInterval);
-    };
-    onThumbPointerDown = (event) => {
-        if (!this.isConnected || this.pointerCaptureId) {
-            return;
-        }
-        if (!event.isPrimary || event.altKey || event.ctrlKey || event.metaKey || event.shiftKey || event.button != 0) {
-            return;
-        }
-        this.dragStartPos = this.orientation ? event.clientY : event.clientX;
-        this.dragStartValue = this.value;
-        this.thumbDragging = true;
-        this.updateStyle();
-        event.preventDefault();
-        this.startPointerCapture(this.thumb, event.pointerId);
-    };
-    onThumbPointerMove = (event) => {
-        if (!this.isConnected) {
-            return;
-        }
-        if (!event.isPrimary || !this.thumbDragging) {
-            return;
-        }
-        const pos = this.orientation ? event.clientY : event.clientX;
-        const deltaPixels = pos - this.dragStartPos;
-        const deltaValue = this.computeThumbMoveValue(deltaPixels);
-        const newValue = this.dragStartValue + deltaValue;
-        event.preventDefault();
-        if (this.setValue(newValue)) {
-            this.fireEvent("value");
-        }
-    };
-    onPointerUp = (event) => {
-        if (!this.isConnected) {
-            return;
-        }
-        if (!event.isPrimary) {
-            return;
-        }
-        this.resetInteractionState();
-        this.updateStyle();
-        this.stopEventRepetition();
-        this.stopPointerCapture();
-        event.preventDefault();
-    };
-} // end class
-//--- Custom Element -----------------------------------------------------------
-export class PlainScrollbar extends HTMLElement {
-    widget;
-    constructor() {
-        super();
-        const value = parseFloat(this.getAttribute("value"));
-        this.widget = new Widget(this);
-        if (!isNaN(value))
-            this.widget.value = value;
-    }
-    /* @Override */ connectedCallback() {
-        this.widget.connectedCallback();
-    }
-    /* @Override */ disconnectedCallback() {
-        this.widget.disconnectedCallback();
-    }
-    //--- Element properties ----------------------------------------------------
-    // Size of the thumb, relative to the trough.
-    // A value between 0 and 1.
-    // 0 is used to hide the thumb. Small values greater than 0 are overridden by `plain-scrollbar-thumb-min-size`.
-    get thumbSize() {
-        return this.widget.thumbSize;
-    }
-    set thumbSize(v) {
-        this.widget.setThumbSize(v);
-    }
-    // The current position of the scrollbar.
-    // A value between 0 and 1.
-    get value() {
-        return this.widget.value;
-    }
-    set value(v) {
-        this.widget.setValue(v);
-    }
-    // Orientation of the scrollbar.
-    // "horizontal" or "vertical".
-    get orientation() {
-        return formatOrientation(this.widget.orientation);
-    }
-    set orientation(s) {
-        if (this.widget.setOrientation(decodeOrientation(s))) {
-            this.setAttribute("orientation", this.orientation);
-        }
-    }
-    // Returns false=horizontal, true=vertical.
-    get orientationBoolean() {
-        return this.widget.orientation;
-    }
-    //--- Element attributes ----------------------------------------------------
-    /* @Override */ static get observedAttributes() {
-        return ["orientation"];
-    }
-    /* @Override */ attributeChangedCallback(attrName, _oldValue, newValue) {
-        switch (attrName) {
-            case "orientation": {
-                if (newValue) {
-                    this.widget.setOrientation(decodeOrientation(newValue));
-                }
-                break;
-            }
-        }
-    }
-} // end class
-//------------------------------------------------------------------------------
-const EPS = 1E-9;
-const buttonSize = "var(--plain-scrollbar-button-size, 13px)";
-const buttonPath = '<path d="M -60 30 h 120 L 0 -30 z" stroke-width="0"/>';
+//included from: https://github.com/chdh/plain-scrollbar
+class Widget {
+    host;
+    root;
+    trough;
+    button1; // up/left button
+    button2; // down/right button
+    thumb;
+    isConnected = false;
+    thumbSize = 0.3; // relative thumb size (0..1)
+    value = 0; // current scrollbar position (0..1)
+    orientation = false; // false=horizontal, true=vertical
+    clickRepeatDelay = 300; // click repetition delay time in ms
+    clickRepeatInterval = 100; // click repetition interval time in ms
+    defaultThumbMinSize = 25; // default for minimum thumb size in pixels
+    dragStartPos; // dragging start pointer position (clientX/Y)
+    dragStartValue; // dragging start scrollbar position
+    eventTimeoutId;
+    pointerCaptureId; // `undefined` = no capture active
+    pointerCaptureElement;
+    // User interaction state:
+    thumbDragging; // true while user is dragging the thumb
+    button1Active; // true while user has pointer clicked down on button 1
+    button2Active; // true while user has pointer clicked down on button 2
+    troughActive; // true while user has pointer clicked down on trough
+    constructor(host) {
+        this.host = host;
+        host.attachShadow({ mode: "open" });
+        const shadowRoot = host.shadowRoot;
+        shadowRoot.innerHTML = scrollbarHtmlTemplate;
+        this.root = shadowRoot.querySelector("#root");
+        this.trough = shadowRoot.querySelector("#trough");
+        this.button1 = shadowRoot.querySelector("#button1");
+        this.button2 = shadowRoot.querySelector("#button2");
+        this.thumb = shadowRoot.querySelector("#thumb");
+        this.trough.addEventListener("pointerdown", this.onTroughPointerDown);
+        this.trough.addEventListener("pointerup", this.onPointerUp);
+        this.trough.addEventListener("pointercancel", this.onPointerUp);
+        this.button1.addEventListener("pointerdown", (event) => this.onButtonPointerDown(event, 1));
+        this.button1.addEventListener("pointerup", this.onPointerUp);
+        this.button1.addEventListener("pointercancel", this.onPointerUp);
+        this.button1.addEventListener("contextmenu", (e) => e.preventDefault()); // to prevent popup on long touch
+        this.button2.addEventListener("pointerdown", (event) => this.onButtonPointerDown(event, 2));
+        this.button2.addEventListener("pointerup", this.onPointerUp);
+        this.button2.addEventListener("pointercancel", this.onPointerUp);
+        this.button2.addEventListener("contextmenu", (e) => e.preventDefault()); // to prevent popup on long touch
+        this.thumb.addEventListener("pointerdown", this.onThumbPointerDown);
+        this.thumb.addEventListener("pointerup", this.onPointerUp);
+        this.thumb.addEventListener("pointercancel", this.onPointerUp);
+        this.thumb.addEventListener("pointermove", this.onThumbPointerMove);
+        this.resetInteractionState();
+    }
+    resetInteractionState() {
+        this.thumbDragging = false;
+        this.button1Active = false;
+        this.button2Active = false;
+        this.troughActive = false;
+    }
+    connectedCallback() {
+        this.isConnected = true;
+        this.resetInteractionState();
+        this.updateLayout();
+        this.updateStyle();
+    }
+    disconnectedCallback() {
+        this.isConnected = false;
+        this.resetInteractionState();
+        this.stopEventRepetition();
+        this.stopPointerCapture();
+    }
+    updateLayout() {
+        if (!this.isConnected) {
+            return;
+        }
+        this.root.classList.toggle("horizontal", !this.orientation);
+        this.root.classList.toggle("vertical", this.orientation);
+        this.thumb.style.display = (this.thumbSize == 0) ? "none" : "";
+        this.thumb.style.height = this.orientation ? percent(this.getEffectiveThumbSize()) : "";
+        this.thumb.style.width = this.orientation ? "" : percent(this.getEffectiveThumbSize());
+        this.thumb.style.top = "";
+        this.thumb.style.left = "";
+        this.updateThumbPosition();
+    }
+    updateStyle() {
+        if (!this.isConnected) {
+            return;
+        }
+        this.thumb.classList.toggle("active", this.thumbDragging);
+        this.button1.classList.toggle("active", this.button1Active);
+        this.button2.classList.toggle("active", this.button2Active);
+        void this.troughActive;
+    } // tslint:disable-line
+    updateThumbPosition() {
+        const v = (1 - this.getEffectiveThumbSize()) * this.value;
+        if (this.orientation) {
+            this.thumb.style.top = percent(v);
+        }
+        else {
+            this.thumb.style.left = percent(v);
+        }
+    }
+    getThroughSize() {
+        return this.orientation ? this.trough.clientHeight : this.trough.clientWidth;
+    }
+    computeThumbMoveValue(distancePixels) {
+        const troughSlidePixels = this.getThroughSize() * (1 - this.getEffectiveThumbSize());
+        if (troughSlidePixels < EPS) {
+            return 0;
+        }
+        return distancePixels / troughSlidePixels;
+    }
+    setThumbSize(newThumbSize) {
+        const clippedNewThumbSize = Math.max(0, Math.min(1, newThumbSize));
+        if (clippedNewThumbSize == this.thumbSize) {
+            return;
+        }
+        this.thumbSize = clippedNewThumbSize;
+        this.updateLayout();
+    }
+    getThumbMinSize() {
+        const s = this.getCssVar("--plain-scrollbar-thumb-min-size");
+        if (!s) {
+            return this.defaultThumbMinSize;
+        }
+        const px = decodePxValue(s);
+        if (!px) {
+            return this.defaultThumbMinSize;
+        }
+        return px;
+    }
+    getEffectiveThumbSize() {
+        const thumbMinSize = this.getThumbMinSize();
+        const throughSize = this.getThroughSize();
+        if (!throughSize) {
+            return this.thumbSize;
+        }
+        const min = Math.min(1, thumbMinSize / throughSize);
+        return Math.max(min, this.thumbSize);
+    }
+    setValue(newValue) {
+        const clippedNewValue = Math.max(0, Math.min(1, newValue));
+        if (clippedNewValue == this.value) {
+            return false;
+        }
+        this.value = clippedNewValue;
+        this.updateThumbPosition();
+        return true;
+    }
+    setOrientation(newOrientation) {
+        if (newOrientation == this.orientation) {
+            return false;
+        }
+        this.orientation = newOrientation;
+        this.updateLayout();
+        return true;
+    }
+    getCssVar(varName) {
+        const s = getComputedStyle(this.root).getPropertyValue(varName);
+        if (!s) {
+            return null;
+        }
+        return s.trim();
+    }
+    //--- Outgoing events -------------------------------------------------------
+    fireEvent(eventSubType) {
+        const event = new CustomEvent("scrollbar-input", { detail: eventSubType });
+        this.host.dispatchEvent(event);
+    }
+    fireEventRepeatedly(eventSubType, repeatDelay, repeatInterval, repeatCounter = 0) {
+        this.stopEventRepetition();
+        this.fireEvent(eventSubType);
+        const delay = (repeatCounter == 0) ? repeatDelay : repeatInterval;
+        const f = () => this.fireEventRepeatedly(eventSubType, repeatDelay, repeatInterval, repeatCounter + 1);
+        this.eventTimeoutId = setTimeout(f, delay);
+    }
+    stopEventRepetition() {
+        if (this.eventTimeoutId) {
+            clearTimeout(this.eventTimeoutId);
+            this.eventTimeoutId = undefined;
+        }
+    }
+    //--- Pointer input ----------------------------------------------------------
+    startPointerCapture(element, pointerId) {
+        this.stopPointerCapture();
+        element.setPointerCapture(pointerId);
+        this.pointerCaptureElement = element;
+        this.pointerCaptureId = pointerId;
+    }
+    stopPointerCapture() {
+        if (!this.pointerCaptureId) {
+            return;
+        }
+        this.pointerCaptureElement.releasePointerCapture(this.pointerCaptureId);
+        this.pointerCaptureId = undefined;
+    }
+    onTroughPointerDown = (event) => {
+        if (!this.isConnected || this.pointerCaptureId) {
+            return;
+        }
+        if (!event.isPrimary || event.altKey || event.ctrlKey || event.metaKey || event.shiftKey || event.button != 0) {
+            return;
+        }
+        const r = this.trough.getBoundingClientRect();
+        const pos = this.orientation ? event.clientY - r.top : event.clientX - r.left;
+        const threshold = (this.orientation ? r.height : r.width) * (1 - this.getEffectiveThumbSize()) * this.value;
+        const direction = pos > threshold;
+        const eventSubType = direction ? "incrementLarge" : "decrementLarge";
+        this.troughActive = true;
+        event.preventDefault();
+        this.startPointerCapture(this.trough, event.pointerId);
+        this.fireEventRepeatedly(eventSubType, this.clickRepeatDelay, this.clickRepeatInterval);
+    };
+    onButtonPointerDown = (event, buttonNo) => {
+        if (!this.isConnected || this.pointerCaptureId) {
+            return;
+        }
+        if (!event.isPrimary || event.altKey || event.ctrlKey || event.metaKey || event.shiftKey || event.button != 0) {
+            return;
+        }
+        switch (buttonNo) {
+            case 1:
+                this.button1Active = true;
+                break;
+            case 2:
+                this.button2Active = true;
+                break;
+        }
+        const eventSubType = (buttonNo == 1) ? "decrementSmall" : "incrementSmall";
+        this.updateStyle();
+        event.preventDefault();
+        const buttonElement = (buttonNo == 1) ? this.button1 : this.button2;
+        this.startPointerCapture(buttonElement, event.pointerId);
+        this.fireEventRepeatedly(eventSubType, this.clickRepeatDelay, this.clickRepeatInterval);
+    };
+    onThumbPointerDown = (event) => {
+        if (!this.isConnected || this.pointerCaptureId) {
+            return;
+        }
+        if (!event.isPrimary || event.altKey || event.ctrlKey || event.metaKey || event.shiftKey || event.button != 0) {
+            return;
+        }
+        this.dragStartPos = this.orientation ? event.clientY : event.clientX;
+        this.dragStartValue = this.value;
+        this.thumbDragging = true;
+        this.updateStyle();
+        event.preventDefault();
+        this.startPointerCapture(this.thumb, event.pointerId);
+    };
+    onThumbPointerMove = (event) => {
+        if (!this.isConnected) {
+            return;
+        }
+        if (!event.isPrimary || !this.thumbDragging) {
+            return;
+        }
+        const pos = this.orientation ? event.clientY : event.clientX;
+        const deltaPixels = pos - this.dragStartPos;
+        const deltaValue = this.computeThumbMoveValue(deltaPixels);
+        const newValue = this.dragStartValue + deltaValue;
+        event.preventDefault();
+        if (this.setValue(newValue)) {
+            this.fireEvent("value");
+        }
+    };
+    onPointerUp = (event) => {
+        if (!this.isConnected) {
+            return;
+        }
+        if (!event.isPrimary) {
+            return;
+        }
+        this.resetInteractionState();
+        this.updateStyle();
+        this.stopEventRepetition();
+        this.stopPointerCapture();
+        event.preventDefault();
+    };
+} // end class
+//--- Custom Element -----------------------------------------------------------
+export class PlainScrollbar extends HTMLElement {
+    widget;
+    constructor() {
+        super();
+        const value = parseFloat(this.getAttribute("value"));
+        this.widget = new Widget(this);
+        if (!isNaN(value))
+            this.widget.value = value;
+    }
+    /* @Override */ connectedCallback() {
+        this.widget.connectedCallback();
+    }
+    /* @Override */ disconnectedCallback() {
+        this.widget.disconnectedCallback();
+    }
+    //--- Element properties ----------------------------------------------------
+    // Size of the thumb, relative to the trough.
+    // A value between 0 and 1.
+    // 0 is used to hide the thumb. Small values greater than 0 are overridden by `plain-scrollbar-thumb-min-size`.
+    get thumbSize() {
+        return this.widget.thumbSize;
+    }
+    set thumbSize(v) {
+        this.widget.setThumbSize(v);
+    }
+    // The current position of the scrollbar.
+    // A value between 0 and 1.
+    get value() {
+        return this.widget.value;
+    }
+    set value(v) {
+        this.widget.setValue(v);
+    }
+    // Orientation of the scrollbar.
+    // "horizontal" or "vertical".
+    get orientation() {
+        return formatOrientation(this.widget.orientation);
+    }
+    set orientation(s) {
+        if (this.widget.setOrientation(decodeOrientation(s))) {
+            this.setAttribute("orientation", this.orientation);
+        }
+    }
+    // Returns false=horizontal, true=vertical.
+    get orientationBoolean() {
+        return this.widget.orientation;
+    }
+    //--- Element attributes ----------------------------------------------------
+    /* @Override */ static get observedAttributes() {
+        return ["orientation"];
+    }
+    /* @Override */ attributeChangedCallback(attrName, _oldValue, newValue) {
+        switch (attrName) {
+            case "orientation": {
+                if (newValue) {
+                    this.widget.setOrientation(decodeOrientation(newValue));
+                }
+                break;
+            }
+        }
+    }
+} // end class
+//------------------------------------------------------------------------------
+const EPS = 1E-9;
+const buttonSize = "var(--plain-scrollbar-button-size, 13px)";
+const buttonPath = '<path d="M -60 30 h 120 L 0 -30 z" stroke-width="0"/>';
 const scrollbarStyle = `
     :host {
        display: block;
@@ -442,7 +442,7 @@ const scrollbarStyle = `
     #button2.active {
        background-color: var(--plain-scrollbar-button-color-active, #c0c0c0);
     }
-    `;
+    `;
 const scrollbarHtmlTemplate = `
     <style>${scrollbarStyle}</style>
     <div id="root" part="root">
@@ -458,25 +458,25 @@ const scrollbarHtmlTemplate = `
       <svg id="rightArrow" part="arrow rightArrow" viewBox="-100 -100 200 200"><g transform="rotate(90)">${buttonPath}</g></svg>
      </div>
     </div>
-    `;
-//------------------------------------------------------------------------------
-function formatOrientation(b) {
-    return b ? "vertical" : "horizontal";
-}
-function decodeOrientation(s) {
-    switch (s) {
-        case "vertical": return true;
-        case "horizontal": return false;
-        default: throw new Error("Invalid orientation value \"" + s + "\".");
-    }
-}
-function percent(v) {
-    return (v * 100).toFixed(3) + "%";
-}
-function decodePxValue(s) {
-    if (!s || !s.endsWith("px")) {
-        return undefined;
-    }
-    return Number(s.substring(0, s.length - 2));
-}
-customElements.define("node-projects-plain-scrollbar", PlainScrollbar);
+    `;
+//------------------------------------------------------------------------------
+function formatOrientation(b) {
+    return b ? "vertical" : "horizontal";
+}
+function decodeOrientation(s) {
+    switch (s) {
+        case "vertical": return true;
+        case "horizontal": return false;
+        default: throw new Error("Invalid orientation value \"" + s + "\".");
+    }
+}
+function percent(v) {
+    return (v * 100).toFixed(3) + "%";
+}
+function decodePxValue(s) {
+    if (!s || !s.endsWith("px")) {
+        return undefined;
+    }
+    return Number(s.substring(0, s.length - 2));
+}
+customElements.define("node-projects-plain-scrollbar", PlainScrollbar);