diff options
| author | Joel Klinghed <the_jk@spawned.biz> | 2025-06-08 22:19:29 +0200 |
|---|---|---|
| committer | Joel Klinghed <the_jk@spawned.biz> | 2025-06-08 22:19:29 +0200 |
| commit | 3c764b427bda59db3a2f27e3f227d6aebe052ec2 (patch) | |
| tree | bed7ea4993523e48249c808c87f0b9784f154ada /server/src/trans.rs | |
| parent | 3f8be66d181380795a1b235b668587098ed4d660 (diff) | |
grit: Keep part when expanding
Makes it possible to still keep track of which file a string comes
from.
Diffstat (limited to 'server/src/trans.rs')
| -rw-r--r-- | server/src/trans.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/server/src/trans.rs b/server/src/trans.rs index dcef078..6a18e27 100644 --- a/server/src/trans.rs +++ b/server/src/trans.rs @@ -78,9 +78,8 @@ fn push_strings( grit::IfMessagePart::If { expr: _, message } => { push_strings(strings, file, message); } - grit::IfMessagePart::Part(_) => { - // There should be none of these as we use parse_grit_with_parts - assert!(false); + grit::IfMessagePart::Part { file, messages } => { + push_strings(strings, &file, messages); } } } |
