Skip to content

DT-106: Create a better interface for metrics #106#109

Merged
kigiri merged 3 commits intomasterfrom
106-create-a-better-interface-for-metrics
Apr 7, 2026
Merged

DT-106: Create a better interface for metrics #106#109
kigiri merged 3 commits intomasterfrom
106-create-a-better-interface-for-metrics

Conversation

@abdotop
Copy link
Copy Markdown
Member

@abdotop abdotop commented Apr 7, 2026

feat: redesign metrics viewer with tree query plan and smart formatting

  • Replace flat card layout with clean divider-based list
  • Add tree rendering for EXPLAIN QUERY PLAN using parent/child ids
  • Smart time formatting: μs / ms / s with 2 decimal places
  • Smart byte formatting: B / KB / MB / GB for memory counters
  • Fixed-width stat columns (Calls/Avg/Max/Total) with tabular-nums for alignment

- Replace flat card layout with clean divider-based list
- Add tree rendering for EXPLAIN QUERY PLAN using parent/child ids
- Smart time formatting: μs / ms / s with 2 decimal places
- Smart byte formatting: B / KB / MB / GB for memory counters
- Fixed-width stat columns (Calls/Avg/Max/Total) with tabular-nums for alignment
@abdotop abdotop requested a review from kigiri April 7, 2026 16:34
@abdotop abdotop self-assigned this Apr 7, 2026
@abdotop abdotop linked an issue Apr 7, 2026 that may be closed by this pull request
@abdotop abdotop marked this pull request as ready for review April 7, 2026 17:59
@kigiri kigiri merged commit 1877778 into master Apr 7, 2026
2 checks passed
@abdotop abdotop deleted the 106-create-a-better-interface-for-metrics branch April 7, 2026 22:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Create a better interface for metrics

2 participants