mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
sculpt: hide system_view in graph
This commit is contained in:
@@ -211,6 +211,7 @@ void Graph::generate(Xml_generator &xml) const
|
||||
|| name == "depot_rom"
|
||||
|| name == "dynamic_depot_rom"
|
||||
|| name == "depot_query"
|
||||
|| name == "system_view"
|
||||
|| name == "manager_keyboard");
|
||||
if (hidden)
|
||||
return;
|
||||
|
||||
Reference in New Issue
Block a user