fix: handle and exclude dotless sound keys (intentionally_empty)#909

Merged

mworzala merged 3 commits into

mainfrom

fix/play-sound-dotless-key

Jun 14, 2026

Commits on Jun 13, 2026

chore: page size constant for top times info type
mworzala
committed

Commits on Jun 14, 2026

fix: handle sound keys without a category prefix in PlaySoundEditor
mworzala
committed
fix: exclude intentionally_empty from sound autocomplete
mworzala
committed