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

Logging: use radio buttons

Browse source
This commit is contained in:
Charles Dang 2016-08-12 18:33:12 +11:00
parent 9598d30f5d
commit 6441165187
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/logging.cfg
View file

@ -23,7 +23,7 @@
[toggle_button]
id = {GROUP}
definition = "default"
definition = "radio"
linked_group = {GROUP}
tooltip = {TOOLTIP}
[/toggle_button]