edgedb-ui
edgedb-ui copied to clipboard
Make query editor history searchable
The query history feature is nice though not very usable for locating old queries. This could be much more of a go-to feature than it is except that there is not a way to search (even naive string contains) or otherwise save/name queries.