gui/preferences: Relabel some Display options

* Resolution options now use "Window size" instead since it is more
   accurate to the current implementation of fullscreen

 * Theme becomes "Interface theme" to make its meaning clearer in the
   absence of additional built-in themes

 * "Automatic pixel scale multiplier" just becomes "Automatic scale"
   since the rest can be inferred from the context of the option being
   located right under the Pixel scale multiplier slider
This commit is contained in:
Iris Morelle 2023-06-05 00:53:08 -04:00
parent d402da4e11
commit 6b635f3072
No known key found for this signature in database
GPG Key ID: BB9666228F278524

View File

@ -12,7 +12,7 @@
horizontal_alignment = "left"
[label]
label = _ "Resolution:"
label = _ "Window size:"
definition = "default_small"
[/label]
[/column]
@ -70,7 +70,7 @@
[menu_button]
id = "resolution_set"
definition = "default"
tooltip = _ "Change the game resolution"
tooltip = _ "Change the game window size"
[/menu_button]
[/column]
@ -111,7 +111,7 @@
[toggle_button]
id = "auto_pixel_scale"
label = _ "Automatic pixel scale multiplier"
label = _ "pixel_scale_multiplier^Automatic scale"
tooltip = _ "Choose pixel scale multiplier automatically based on current resolution"
[/toggle_button]
[/column]
@ -165,7 +165,7 @@
horizontal_alignment = "left"
[label]
label = _ "Theme:"
label = _ "Interface theme:"
definition = "default_small"
[/label]
[/column]
@ -178,7 +178,7 @@
[menu_button]
id = "choose_theme"
tooltip = _ "Change the in-game theme"
tooltip = _ "Change the in-game interface theme"
[/menu_button]
[/column]
[/row]