0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
[ci skip]

This better conveys its behavior, especially with the introduction of the hidden PRNG
preference.

(cherry-picked from commit bf92dbbfd2)
This commit is contained in:
Charles Dang 2018-06-03 05:10:32 +11:00
parent 49908e5cb9
commit a5b8053340
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
data/gui/window/campaign_dialog.cfg
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]