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

GUI2/Preferences: made better use of space for display scaling option

Browse source
This commit is contained in:
Charles Dang 2022-04-30 14:20:47 -04:00
parent a2ad3ae198
commit b6fa7733b3
1 changed files with 69 additions and 25 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -5,22 +5,70 @@
#define _GUI_PREFERENCES_DISPLAY_GRID_1
[row]
[column]
horizontal_alignment = "left"
vertical_alignment = "top"
horizontal_grow = true
[grid]
[row]
[column]
border = "all"
border = "top,left,right"
border_size = 5
horizontal_alignment = "left"
[label]
label = _ "Resolution:"
definition = "default_small"
[/label]
[/column]
# We don't use _GUI_PREFERENCES_MAIN_COMPOSITE_SLIDER because we want
# to split the slider and label into different grids in order to align
# with the resolution button
[column]
horizontal_grow = true
[grid]
[row]
[column]
grow_factor = 0
border = "top,left,right"
border_size = 5
horizontal_alignment = "left"
[label]
id = "help_text"
definition = "default_small"
label = _ "Pixel scale multiplier:"
[/label]
[/column]
[column]
grow_factor = 1
border = "top,right"
border_size = 5
horizontal_grow = true
[label]
id = "pixel_scale_slider_label"
definition = "default_small"
[/label]
[/column]
[/row]
[/grid]
[/column]
[/row]
[row]
[column]
border = "all"
border_size = 5
@ -33,10 +81,23 @@
[/menu_button]
[/column]
[column]
border = "all"
border_size = 5
horizontal_grow = true
[slider]
id = "pixel_scale_slider"
definition = "minimal"
minimum_value,maximum_value = 1,4
step_size = 1
tooltip = _ "Set the global pixel scale multiplier. A pixel scale multiplier of 2 will make everything look twice as large."
[/slider]
[/column]
[/row]
[row]
{GUI_FILLER}
[column]
border = "all"
@ -50,27 +111,6 @@
[/toggle_button]
[/column]
[/row]
[row]
{GUI_FILLER}
[column]
horizontal_grow = true
{_GUI_PREFERENCES_MAIN_COMPOSITE_SLIDER
( _ "Pixel scale multiplier:")
pixel_scale_slider (
minimum_value,maximum_value=1,4
step_size=1
tooltip= _ "Set the global pixel scale multiplier. A pixel scale multiplier of 2 will make everything look twice as large."
)
}
[/column]
[/row]
[row]
{GUI_FILLER}
[column]
border = "all"
border_size = 5
@ -82,9 +122,13 @@
tooltip = _ "Choose pixel scale multiplier automatically based on current resolution"
[/toggle_button]
[/column]
[/row]
[/grid]
[/column]
[/row]
{_GUI_PREFERENCES_SPACER_ROW}