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

Convert mp server list to linked widgets new style.

Browse source
This commit is contained in:
Mark de Wever 2009-07-18 19:16:12 +00:00
parent ba51a0e823
commit 91d2b956e2
1 changed files with 15 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
data/gui/default/window/mp_server_list.cfg
View file

@ -14,6 +14,16 @@
vertical_placement = "center"
horizontal_placement = "center"
[linked_group]
id = "name"
fixed_width = "true"
[/linked_group]
[linked_group]
id = "address"
fixed_width = "true"
[/linked_group]
[grid]
[row]
@ -68,6 +78,7 @@
id = "server_list"
definition = "default"
linked_widgets_disabled = "true"
[header]
[row]
@ -82,6 +93,7 @@
[label]
id = "name"
definition = "default"
linked_group = "name"
label = _ "Name"
[/label]
@ -98,6 +110,7 @@
[label]
id = "address"
definition = "default"
linked_group = "address"
label = _ "Address"
[/label]
@ -134,6 +147,7 @@
[label]
id = "name"
definition = "default"
linked_group = "name"
[/label]
[/column]
@ -148,6 +162,7 @@
[label]
id = "address"
definition = "default"
linked_group = "address"
[/label]
[/column]