From 3fd1d98c2be75b2a713f9037c9f863d458e307fd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gaute=20Fl=C3=A6gstad?= Date: Sun, 5 Oct 2025 23:42:49 +0200 Subject: [PATCH] style(#5): :lipstick: Added a title above the tools --- src/MeasurementControl/measurementsPanel.js | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/MeasurementControl/measurementsPanel.js b/src/MeasurementControl/measurementsPanel.js index 66cc769..41b250b 100644 --- a/src/MeasurementControl/measurementsPanel.js +++ b/src/MeasurementControl/measurementsPanel.js @@ -577,6 +577,15 @@ window.initMeasurementsPanel = function initMeasurementsPanel(viewer) { const toolsHost = document.getElementById('measurement_tools_host') const existingTools = document.getElementById('tools') if (toolsHost && existingTools) { + const parentPanel = toolsHost.parentElement + if (parentPanel) { + const toolsDivider = document.createElement('div') + toolsDivider.className = 'divider pv-tools-divider' + const span = document.createElement('span') + span.textContent = 'Tools' + toolsDivider.appendChild(span) + parentPanel.insertBefore(toolsDivider, toolsHost) + } toolsHost.appendChild(existingTools) }