feat(files): let the user set a file's type from the header dropdown - #6373

Open

mzxchandra wants to merge 10 commits into

feat/files-set-file-type

Commits on Aug 7, 2026

feat(files): let the user set a file's type from the header dropdown
mzxchandra
committed
df2308c
fix(files): stop a content save from resurrecting a stale contentType
mzxchandra
committed
3131f78
fix(files): nest both type groups so neither is hidden by the menu cap
mzxchandra
committed
2a1452d
feat(files): flush the live doc before a retype reads its bytes back
mzxchandra
committed
3a06d38
fix(files): publish a stable file-doc flush and trace its outcome
mzxchandra
committed
214bf61
Merge remote-tracking branch 'origin/staging' into feat/files-set-file-type
mzxchandra
committed
c7ccee5
fix(realtime): bound a client-requested flush to edits it has not written
mzxchandra
committed
d6cafad
chore: drop an unrelated .gitignore line from this branch
mzxchandra
committed
e278ae3
fix(files): refresh the file list after a flush so the retype reads a live key
mzxchandra
committed
e177502
fix(files): surface a failed pre-retype list refresh instead of swallowing it
mzxchandra
committed
2c1518e