Code

Update design of query editor tab#383

Code

Open

jaclarke wants to merge 5 commits intomainedgedb/edgedb-ui:mainfrom query-editor-updateedgedb/edgedb-ui:query-editor-updateCopy head branch name to clipboard

+1,203-1,016

Commits

Commits on Dec 6, 2024

• Update design of query editor tab

  jaclarke

  committed
  f833f34

• Fix some small bugs

  jaclarke

  committed
  a9ffed6

• Fix mobile styling + cleanup

  jaclarke

  committed
  bace7e6

• Fix tests

  jaclarke

  committed
  d19194b

• Allow cloud to provide the known server version before introspection + hide sql mode in editor and repl if server does not support it

  jaclarke

  committed
  863322a