search

jgraph / drawio

draw.io is a JavaScript, client-side editor for general diagramming.
https://www.drawio.com
Apache License 2.0
39.58k stars 7.41k forks source link

Make more shapes dialog searchable #1639

Open mararad opened 3 years ago

petervandivier commented 1 year ago

Does this re-open #655 ?