From c6524a961f2e1f2891ad1a9da43fb27358805ef8 Mon Sep 17 00:00:00 2001
From: Kurt Schwehr <schwehr@google.com>
Date: Tue, 10 Jun 2025 21:45:53 +0000
Subject: [PATCH] layer_manager.ts: Add override to tabIndex

---
 js/layer_manager.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/layer_manager.ts b/js/layer_manager.ts
index 38964e352e..20d8728378 100644
--- a/js/layer_manager.ts
+++ b/js/layer_manager.ts
@@ -41,7 +41,7 @@ export class LayerManager extends LitWidget<LayerManagerModel, LayerManager> {
     ];
 
     @property() visible: boolean = false;
-    @property() tabIndex: number = 0;
+    @property() override tabIndex: number = 0;
     @property() collapsed: boolean = true;
 
     modelNameToViewName(): Map<