ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-21 18:06:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: reduces space between depot users

Browse Source 
Otherwise, the default list of depot users won't fit with the touch
keyboard on the PinePhone's screen.
This commit is contained in:
Norman Feske 2023-04-27 18:40:04 +02:00 committed by Christian Helmuth
parent 01b198657d
commit de106608a0
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/gems/src/app/sculpt_manager/view/depot_users_dialog.h
View File

@ -120,7 +120,7 @@ struct Sculpt::Depot_users_dialog
}); });
} }
void _gen_entry(Xml_generator &xml, Xml_node const user, bool last) const void _gen_entry(Xml_generator &xml, Xml_node const user, bool /* last */) const
{ {
User const name = user.attribute_value("name", User()); User const name = user.attribute_value("name", User());
bool const selected = (name == _selected); bool const selected = (name == _selected);
@ -135,9 +135,6 @@ struct Sculpt::Depot_users_dialog
[&] /* label */ { xml.attribute("text", Path(" ", label)); }, [&] /* label */ { xml.attribute("text", Path(" ", label)); },
[&] /* right */ { } [&] /* right */ { }
); );
if (show_all && !last)
_gen_vspacer(xml, String<64>("below ", name).string());
} }
Depot_url _depot_url(Xml_node const &depot_users) const Depot_url _depot_url(Xml_node const &depot_users) const