zampino Fix re-renders in tap inspector (#594)
c667f67 Dec 21, 2023
Fix re-renders in tap inspector (#594)
We mistakenly propagated the whole render-opts from parent to child component: this triggers unnecessary re-rendering due to react props-changed. We need to propagate just the `!:expanded-at` key instead.
c667f67