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

Campaign Dialog: shifted Save Random Seed button (still needs to be removed)

Browse source 
[ci skip]
This commit is contained in:
Charles Dang 2019-11-06 08:00:19 +11:00
parent ee98253671
commit b165925c55
1 changed files with 85 additions and 80 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

165
data/gui/window/campaign_dialog.cfg
View file

@ -160,47 +160,32 @@
[grid]
[row]
grow_factor = 0
[column]
horizontal_grow = true
grow_factor = 0
border = "all"
border_size = 5
horizontal_alignment = "left"
vertical_alignment = "top"
[grid]
[label]
definition = "title"
label = _ "Play a Campaign"
[/label]
[row]
grow_factor = 0
[/column]
[column]
grow_factor = 1
border = "all"
border_size = 5
horizontal_alignment = "left"
vertical_alignment = "top"
[column]
grow_factor = 1
border = "all"
border_size = 5
horizontal_alignment = "right"
[label]
definition = "title"
label = _ "Play a Campaign"
[/label]
[/column]
[column]
grow_factor = 1
border = "all"
border_size = 5
horizontal_alignment = "right"
[text_box]
id = "filter_box"
definition = "default"
{FILTER_TEXT_BOX_HINT}
[/text_box]
[/column]
[/row]
[/grid]
[text_box]
id = "filter_box"
definition = "default"
{FILTER_TEXT_BOX_HINT}
[/text_box]
[/column]
@ -231,7 +216,9 @@
horizontal_grow = true
[grid]
[row]
[column]
grow_factor = 1
border = "all"
@ -245,6 +232,7 @@
tooltip = _"Sort by full campaign name in alphabetical order"
[/toggle_button]
[/column]
[column]
grow_factor = 1
border = "all"
@ -258,7 +246,9 @@
tooltip = _"Sort in approximate chronological order of story events"
[/toggle_button]
[/column]
[/row]
[/grid]
[/column]
@ -319,6 +309,18 @@
[/column]
[/row]
[/grid]
[/column]
[column]
[grid]
[row]
[column]
grow_factor = 1
horizontal_grow = true
@ -399,64 +401,67 @@
[/row]
[/grid]
[/column]
[/row]
[row]
grow_factor = 0
[column]
grow_factor = 1
horizontal_grow = true
[grid]
[row]
grow_factor = 0
[column]
border = "all"
border_size = 5
[column]
grow_factor = 1
horizontal_alignment = "left"
[toggle_button]
id = "checkbox_deterministic"
label = _ "Save random seed"
definition = "default"
tooltip = _ "Makes the random number generator yield the same results even after reloading a game"
[/toggle_button]
horizontal_grow = true
[/column]
[grid]
[column]
border = "all"
border_size = 5
[row]
grow_factor = 0
horizontal_alignment = "right"
[column]
border = "all"
border_size = 5
[button]
id = "ok"
definition = "really_large"
grow_factor = 1
horizontal_alignment = "left"
vertical_alignment = "bottom"
label = _ "Play"
[/button]
[toggle_button]
id = "checkbox_deterministic"
label = _ "Save random seed"
definition = "default"
tooltip = _ "Makes the random number generator yield the same results even after reloading a game"
[/toggle_button]
[/column]
[/column]
[column]
border = "all"
border_size = 5
horizontal_alignment = "right"
[column]
border = "all"
border_size = 5
[button]
id = "cancel"
definition = "default"
horizontal_alignment = "right"
label = _ "Cancel"
[/button]
[button]
id = "ok"
definition = "really_large"
label = _ "Play"
[/button]
[/column]
[column]
border = "all"
border_size = 5
horizontal_alignment = "right"
[button]
id = "cancel"
definition = "default"
label = _ "Cancel"
[/button]
[/column]
[/row]
[/grid]
[/column]