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

gui/preferences: Drop redundant 'Show' at the start of some options

Browse source
This commit is contained in:
Iris Morelle 2023-06-10 16:35:21 -04:00
parent 36510e5dc9
commit fb617638a4
No known key found for this signature in database
GPG key ID: BB9666228F278524
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
data/gui/window/preferences/03_display.cfg
View file

@ -211,7 +211,7 @@
[toggle_button]
id = "show_ellipses"
label = _ "Show team colors"
label = _ "Team colors"
tooltip = _ "Show a colored circle around the base of each unit to show which side it is on"
[/toggle_button]
[/column]
@ -225,7 +225,7 @@
[toggle_button]
id = "show_grid"
label = _ "Show grid"
label = _ "Grid"
tooltip = _ "Overlay a grid over the map"
[/toggle_button]
[/column]
@ -290,7 +290,7 @@
[toggle_button]
id = "animate_units_standing"
label = _ "Show unit standing animations"
label = _ "Unit standing animations"
tooltip = _ "Continuously animate standing units on the battlefield"
[/toggle_button]
[/column]
@ -309,7 +309,7 @@
[toggle_button]
id = "animate_units_idle"
label = _ "Show unit idle animations"
label = _ "Unit idle animations"
tooltip = _ "Play short random animations for idle units"
[/toggle_button]
[/column]