Feature: improve inspectorGui: add search, placeholder, see #2353

This commit is contained in:
Pieter Vander Vennet 2025-03-13 23:42:52 +01:00
parent 0a67668bec
commit 589909ba44
5 changed files with 123 additions and 51 deletions

View file

@ -19,7 +19,7 @@
let height = 0
onMount(() => {
let topbar = document.getElementById("top-bar")
height = topbar.clientHeight
height = topbar?.clientHeight ?? 0
})
</script>