feat: editor settings, remove readonly from single query run, smarter grid column widths#584
feat: editor settings, remove readonly from single query run, smarter grid column widths#584emrberk wants to merge 3 commits into
Conversation
… grid column widths
Code Review — staged diff (level 3, full mission-critical pass)Reviewed at level 3 — all 13 review agents, per-finding verification. Scope of the change: editing the editor while a query runs (Monaco inflight-offset tracking), a "Run with selection" setting, a max-column-width setting, canvas-based result-grid column measurement, and a notification-key collision reducer. Quality gates: The core high-risk machinery — supersede/ Issues
False-positives
SummaryVerdict: Approve — all remaining findings are minor or optional; none blocking.
|
Summary
Adds an Editor settings modal and reworks how the result grid sizes its columns, while letting you keep editing the SQL editor without interruption during a running query.
Changes
Notes
editor.runWithSelection,grid.maxColumnWidth); no schema/migration changes.Testing
yarn typecheck,yarn lint,yarn test:unit, andyarn buildall pass.