(targetEl)
| 745 | const selectedElementTitle = document.getElementById("selectedElementTitle"); |
| 746 | |
| 747 | function scrollPropertiesTo(targetEl) { |
| 748 | if (!propertiesSidebar || !targetEl) return; |
| 749 | const pr = propertiesSidebar.getBoundingClientRect(); |
| 750 | const tr = targetEl.getBoundingClientRect(); |
| 751 | const top = (tr.top - pr.top) + propertiesSidebar.scrollTop; |
| 752 | // Put the target right at the top (with a small padding) |
| 753 | propertiesSidebar.scrollTo({ top: Math.max(0, top - 8), behavior: "smooth" }); |
| 754 | } |
| 755 | |
| 756 | function scrollToScreensSettings() { |
| 757 | scrollPropertiesTo(settingsScreensTitle); |
no outgoing calls
no test coverage detected