ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: tweaks for the component graph

Browse Source 
- Hide depot_rom and dynamic_depot_rom
- Reset selection when removing the selected component
This commit is contained in:
Norman Feske 2019-02-27 19:34:14 +01:00 committed by Christian Helmuth
parent 3840ea9537
commit d6030a16b3
1 changed files with 22 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
repos/gems/src/app/sculpt_manager/graph.h
View File

@ -131,6 +131,8 @@ struct Sculpt::Graph
/* omit sculpt's helpers from the graph */ /* omit sculpt's helpers from the graph */
bool const blacklisted = (name == "runtime_view" bool const blacklisted = (name == "runtime_view"
|| name == "launcher_query" || name == "launcher_query"
|| name == "depot_rom"
|| name == "dynamic_depot_rom"
|| name == "depot_query"); || name == "depot_query");
if (blacklisted) if (blacklisted)
return; return;
@ -176,6 +178,17 @@ struct Sculpt::Graph
if (show_details) { if (show_details) {
component.for_each_secondary_dep([&] (Start_name const &dep) { component.for_each_secondary_dep([&] (Start_name const &dep) {
/*
* Connections to depot_rom do not reveal any
* interesting information but create a lot of
* noise.
*/
bool const blacklisted = (dep == "depot_rom")
|| (dep == "dynamic_depot_rom");
if (blacklisted)
return;
xml.node("dep", [&] () { xml.node("dep", [&] () {
xml.attribute("node", name); xml.attribute("node", name);
xml.attribute("on", dep); xml.attribute("on", dep);
@ -284,9 +297,17 @@ struct Sculpt::Graph
_remove_item.confirm_activation_on_clack(); _remove_item.confirm_activation_on_clack();
if (_remove_item.activated("remove")) if (_remove_item.activated("remove")) {
action.remove_deployed_component(_runtime_state.selected()); action.remove_deployed_component(_runtime_state.selected());
/*
* Unselect the removed component to bring graph into
* default state.
*/
_runtime_state.toggle_selection(_runtime_state.selected(),
_runtime_config);
}
} else { } else {
_remove_item.reset(); _remove_item.reset();
} }