# HG changeset patch # User bsw # Date 1414407788 -3600 # Node ID 41f55e4cb905e04a5a4809f44094e4ee421d454a # Parent 533e41fab403a274dfed16407dd6edd96ab1e0ae Added translation of phase durations diff -r 533e41fab403 -r 41f55e4cb905 app/main/policy/_list.lua --- a/app/main/policy/_list.lua Mon Oct 27 12:02:31 2014 +0100 +++ b/app/main/policy/_list.lua Mon Oct 27 12:03:08 2014 +0100 @@ -55,11 +55,11 @@ if policy.polling then ui.field.text{ label = _"New" .. ":", value = _"without" } else - ui.field.text{ label = _"New" .. ":", value = "≤ " .. policy.admission_time } + ui.field.text{ label = _"New" .. ":", value = "≤ " .. format.interval_text(policy.admission_time) } end - ui.field.text{ label = _"Discussion" .. ":", value = policy.discussion_time or _"variable" } - ui.field.text{ label = _"Frozen" .. ":", value = policy.verification_time or _"variable" } - ui.field.text{ label = _"Voting" .. ":", value = policy.voting_time or _"variable" } + ui.field.text{ label = _"Discussion" .. ":", value = format.interval_text(policy.discussion_time) or _"variable" } + ui.field.text{ label = _"Frozen" .. ":", value = format.interval_text(policy.verification_time) or _"variable" } + ui.field.text{ label = _"Voting" .. ":", value = format.interval_text(policy.voting_time) or _"variable" } ui.heading { level = 4, content = _"Quorums" }