Update dev-tools.js

dev-tools.js

@@ -1747,42 +1747,18 @@
       }
     }
 
-    // refreshElementsPanel関数の定義
-    dtRefreshElementsPanel = function() {
-      let tree = document.getElementById('dt-dom-tree');
-      
-      if (!tree) {
-        const panel = document.getElementById('elements-panel');
-        if (panel) {
-          const container = panel.querySelector('.dt-elements-container');
-          if (container) {
-            tree = document.createElement('div');
-            tree.className = 'dt-dom-tree';
-            tree.id = 'dt-dom-tree';
-            container.insertBefore(tree, container.querySelector('.dt-css-panel'));
-          }
-        }
-      }
-      
-      if (!tree) return;
-      
-      tree.innerHTML = '';
-      buildDOMTree(document.documentElement, tree, 0, true);
-      
-      if (dtSelectedElement) {
-        const elementId = dtSelectedElement.id || Array.from(dtSelectedElement.attributes)
-          .find(attr => attr.name.startsWith('data-element-id'))?.value;
-        
-        if (elementId) {
-          const node = document.querySelector(`[data-element-id="${elementId}"]`);
-          if (node) {
-            node.classList.add('selected');
-            updateCSSPanel(dtSelectedElement);
-          }
-        }
-      }
-    };
-
+let isRefreshing = false;
+dtRefreshElementsPanel = function() {
+  if (isRefreshing) return;
+  isRefreshing = true;
+  
+  requestAnimationFrame(() => {
+    let tree = document.getElementById('dt-dom-tree');
+    tree.innerHTML = '';
+    buildDOMTree(document.documentElement, tree, 0, true);
+    isRefreshing = false;
+  });
+};
     // MutationObserverの設定
     setupMutationObserver();