upgrade[react-devtools]: 6.1.1 (#151)

facebook · Feb 7, 2025 · 0db2088 · 0db2088
1 parent 6201613
commit 0db2088
Show file tree

Hide file tree

Showing 2 changed files with 166 additions and 151 deletions.
diff --git a/front_end/third_party/react-devtools/package/frontend.css b/front_end/third_party/react-devtools/package/frontend.css
@@ -1184,7 +1184,6 @@
 }
 .VD1V5qP1lmb39G72wedQ {
   padding: 0.25rem;
-  border-top: 1px solid var(--color-border);
   font-family: var(--font-family-monospace);
   font-size: var(--font-size-monospace-small);
 }
@@ -1237,7 +1236,6 @@
   font-family: var(--font-family-monospace);
   font-size: var(--font-size-monospace-normal);
   padding: 0.25rem;
-  border-top: 1px solid var(--color-border);
 }
 
 .K_w5p9mPdwobJpJAVuOQ {
@@ -1286,6 +1284,10 @@
 }
 
 
+.foTGJS5UP4yux8dKGGEL > *:not(:first-child) {
+  border-top: 1px solid var(--color-border);
+}
+
 .QGBqdeQCINFdybolYjz_ {
   border-radius: 0.25rem;
   animation: v9U5NmE9fqe0TBuebXMr 2s infinite;

diff --git a/front_end/third_party/react-devtools/package/frontend.js b/front_end/third_party/react-devtools/package/frontend.js