mirror of
https://github.com/storytold/gridcraft.git
synced 2026-10-24 10:46:50 -06:00
crates/ui-egui/src/grid.rs: kept object_menu (2084) and error_check_tag (2095), both fns and both calls. crates/ui-egui/src/i18n/de.rs, pt.rs: union of the entries. docs/ui-parity.md: one status line naming both changes, both history rows.