Campaign Dialog: renamed Deterministic Mode label to "Save random seed"

[ci skip]

This better conveys its behavior, especially with the introduction of the hidden PRNG
preference.
This commit is contained in:
Charles Dang 2018-06-03 05:10:32 +11:00
parent 4f7e789f2d
commit 4761894844

View file

@ -406,7 +406,7 @@
horizontal_alignment = "left"
[toggle_button]
id = "checkbox_deterministic"
label = _ "Deterministic mode"
label = _ "Save random seed"
definition = "default"
tooltip = _ "Makes the random number generator yield the same results even after reloading a game"
[/toggle_button]