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

Addons Manager: tweaked UI filter labels

Browse source
This commit is contained in:
Charles Dang 2017-02-19 07:26:15 +11:00
parent 8be7de39f9
commit ad47ae901a
1 changed files with 14 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
data/gui/window/addon_list.cfg
View file

@ -628,7 +628,7 @@
[label]
definition = "default"
label = _ "Installation status:"
label = _ "State:"
[/label]
[/column]
@ -646,6 +646,19 @@
[/menu_button]
[/column]
[column]
grow_factor = 0
border = "all"
border_size = 5
horizontal_alignment = "left"
[label]
definition = "default"
label = _ "Type:"
[/label]
[/column]
[column]
grow_factor = 1
border = "all"