gui2/addon_manager: Move Search to the top right on small resolutions

This commit is contained in:
Iris Morelle 2021-10-26 18:27:06 -03:00
parent 58f5bc3bbb
commit 76b83e623d
No known key found for this signature in database
GPG key ID: E312033F4023A753

View file

@ -730,26 +730,23 @@
[/grid]
#enddef
#define _GUI_ADDON_FILTER_OPTIONS
#define _GUI_ADDON_FILTER_BOX
[text_box]
id = "filter"
definition = "default"
tooltip = _ "Filters on addon description, version, type or author"
{FILTER_TEXT_BOX_HINT}
[/text_box]
#enddef
#define _GUI_ADDON_FILTER_OPTIONS _FILTER_BOX
[grid]
[row]
grow_factor = 1
[column]
grow_factor = 0
border = "all"
border_size = 5
horizontal_alignment = "left"
[text_box]
id = "filter"
definition = "default"
tooltip = _ "Filters on addon description, version, type or author"
{FILTER_TEXT_BOX_HINT}
[/text_box]
[/column]
{_FILTER_BOX}
[column]
grow_factor = 0
@ -921,17 +918,30 @@
grow_factor = 0
[column]
grow_factor = 1
horizontal_grow = true
border = "all"
border_size = 5
horizontal_alignment = "left"
[label]
definition = "title"
[grid]
[row]
[column]
border = "all"
border_size = 5
horizontal_alignment = "left"
[label]
definition = "title"
label = _ "Add-ons Manager"
[/label]
label = _ "Add-ons Manager"
[/label]
[/column]
[column]
border = "all"
border_size = 5
horizontal_alignment = "right"
{_GUI_ADDON_FILTER_BOX}
[/column]
[/row]
[/grid]
[/column]
[/row]
@ -958,7 +968,7 @@
horizontal_grow = true
vertical_grow = true
{_GUI_ADDON_FILTER_OPTIONS}
{_GUI_ADDON_FILTER_OPTIONS ()}
[/column]
@ -1134,7 +1144,15 @@
#border = "top"
#border_size = 5
{_GUI_ADDON_FILTER_OPTIONS}
{_GUI_ADDON_FILTER_OPTIONS (
[column]
grow_factor = 0
border = "all"
border_size = 5
horizontal_alignment = "left"
{_GUI_ADDON_FILTER_BOX}
[/column]
)}
[/column]
@ -1259,6 +1277,7 @@
[/window]
#undef _GUI_ADDON_FILTER_BOX
#undef _GUI_ADDON_FILTER_OPTIONS
#undef _GUI_ADDON_DETAILS_SECTION
#undef _GUI_SERVER_CONN_INFO:TOOLTIP_TLS