mirror of
https://github.com/Tria-plc/edr-platform.git
synced 2026-08-26 18:42:49 +00:00
8949325a9c
Radio.Card's only checked cue is a border tint, which is invisible at the p="xs" the three format cards use — so the dialog gave no sign of which format was picked. ReportExportButton's cards already carry a Radio.Indicator; this adds the same one, dropped when the card was compressed to an icon-over-label stack. Default is now xlsx rather than csv: typed number and date columns mean a spreadsheet opens it without the "is this text?" pass. It falls back to dataset.formats[0] so the dialog can never preset a format the dataset does not offer. That default also made the over-cap alert misleading. It suggested switching to CSV whenever the format was not CSV, but CSV_ROW_CAP and XLSX_ROW_CAP are both 50_000 — from the new default that buys nothing. It is now gated on dataset.caps.csv > cap, so it appears only from PDF, where the cap really is lower.