From de106608a0587faafd15fae9f86a85396f77dc40 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Thu, 27 Apr 2023 18:40:04 +0200 Subject: [PATCH] sculpt: reduces space between depot users Otherwise, the default list of depot users won't fit with the touch keyboard on the PinePhone's screen. --- repos/gems/src/app/sculpt_manager/view/depot_users_dialog.h | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/repos/gems/src/app/sculpt_manager/view/depot_users_dialog.h b/repos/gems/src/app/sculpt_manager/view/depot_users_dialog.h index 3ea5996151..e396ab75be 100644 --- a/repos/gems/src/app/sculpt_manager/view/depot_users_dialog.h +++ b/repos/gems/src/app/sculpt_manager/view/depot_users_dialog.h @@ -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()); bool const selected = (name == _selected); @@ -135,9 +135,6 @@ struct Sculpt::Depot_users_dialog [&] /* label */ { xml.attribute("text", Path(" ", label)); }, [&] /* right */ { } ); - - if (show_all && !last) - _gen_vspacer(xml, String<64>("below ", name).string()); } Depot_url _depot_url(Xml_node const &depot_users) const