mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 06:33:31 +00:00
parent
22f0ab926b
commit
4c4adec5ad
@ -157,6 +157,8 @@ struct Sculpt::Component_add_widget : Widget<Vbox>
|
||||
_runtime_config(runtime_config)
|
||||
{ }
|
||||
|
||||
void reset() { _selected_route = { }; }
|
||||
|
||||
void view(Scope<Vbox> &s, Component const &component) const
|
||||
{
|
||||
_view_pkg_elements(s, component);
|
||||
|
@ -210,7 +210,11 @@ struct Sculpt::Software_add_widget : Widget_interface<Vbox>
|
||||
});
|
||||
}
|
||||
|
||||
void _reset_menu() { _menu.reset(); }
|
||||
void _reset_menu()
|
||||
{
|
||||
_menu.reset();
|
||||
_component_add.reset();
|
||||
}
|
||||
|
||||
bool keyboard_needed() const { return _users.keyboard_needed(); }
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user