tpreferences: tweaked layout of Font Scaling slider
This commit is contained in:
parent
6d48d72b7b
commit
ad84686989
1 changed files with 46 additions and 8 deletions
|
@ -208,18 +208,56 @@
|
||||||
[/grid]
|
[/grid]
|
||||||
[/column]
|
[/column]
|
||||||
[/row]
|
[/row]
|
||||||
|
|
||||||
{_GUI_PREFERENCES_SPACER_ROW}
|
{_GUI_PREFERENCES_SPACER_ROW}
|
||||||
|
|
||||||
[row]
|
[row]
|
||||||
[column]
|
[column]
|
||||||
horizontal_grow = true
|
horizontal_grow = true
|
||||||
{_GUI_PREFERENCES_MAIN_COMPOSITE_SLIDER
|
|
||||||
scaling_value ( _ "Font scale:")
|
[grid]
|
||||||
scaling_slider (
|
[row]
|
||||||
minimum_value,maximum_value=100,200
|
|
||||||
step_size=5
|
[column]
|
||||||
tooltip= _ "Set the scaling factor of fonts"
|
grow_factor = 0
|
||||||
)
|
border = "all"
|
||||||
}
|
border_size = 5
|
||||||
|
horizontal_alignment = "left"
|
||||||
|
|
||||||
|
[label]
|
||||||
|
definition = "default"
|
||||||
|
label = _ "Font Scaling:"
|
||||||
|
[/label]
|
||||||
|
[/column]
|
||||||
|
|
||||||
|
[column]
|
||||||
|
grow_factor = 1
|
||||||
|
border = "all"
|
||||||
|
border_size = 5
|
||||||
|
horizontal_grow = true
|
||||||
|
|
||||||
|
[slider]
|
||||||
|
id = "scaling_slider"
|
||||||
|
definition = "minimal"
|
||||||
|
minimum_value,maximum_value=100,200
|
||||||
|
step_size=5
|
||||||
|
tooltip= _ "Set the scaling factor of fonts"
|
||||||
|
[/slider]
|
||||||
|
[/column]
|
||||||
|
|
||||||
|
[column]
|
||||||
|
grow_factor = 0
|
||||||
|
border = "all"
|
||||||
|
border_size = 5
|
||||||
|
horizontal_grow = true
|
||||||
|
|
||||||
|
[label]
|
||||||
|
id = "scaling_value"
|
||||||
|
definition = "default"
|
||||||
|
[/label]
|
||||||
|
[/column]
|
||||||
|
[/row]
|
||||||
|
[/grid]
|
||||||
[/column]
|
[/column]
|
||||||
[/row]
|
[/row]
|
||||||
#enddef
|
#enddef
|
||||||
|
|
Loading…
Add table
Reference in a new issue