ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 14:37:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: hide manager_keyboard in graph

Browse Source
This commit is contained in:
Norman Feske 2023-03-20 17:42:15 +01:00 committed by Christian Helmuth
parent 9ef6ed52c4
commit 0bec935ccb
1 changed files with 18 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
repos/gems/src/app/sculpt_manager/graph.cc
View File

@ -195,23 +195,24 @@ void Graph::generate(Xml_generator &xml) const
Start_name const pretty_name { Pretty(name) };
/* omit sculpt's helpers from the graph */
bool const blacklisted = (name == "runtime_view"
|| name == "popup_view"
|| name == "menu_view"
|| name == "panel_view"
|| name == "settings_view"
|| name == "network_view"
|| name == "file_browser_view"
|| name == "editor"
|| name == "launcher_query"
|| name == "update"
|| name == "fs_tool"
|| name == "depot_rw"
|| name == "public_rw"
|| name == "depot_rom"
|| name == "dynamic_depot_rom"
|| name == "depot_query");
if (blacklisted)
bool const hidden = (name == "runtime_view"
|| name == "popup_view"
|| name == "menu_view"
|| name == "panel_view"
|| name == "settings_view"
|| name == "network_view"
|| name == "file_browser_view"
|| name == "editor"
|| name == "launcher_query"
|| name == "update"
|| name == "fs_tool"
|| name == "depot_rw"
|| name == "public_rw"
|| name == "depot_rom"
|| name == "dynamic_depot_rom"
|| name == "depot_query"
|| name == "manager_keyboard");
if (hidden)
return;
Runtime_state::Info const info = _runtime_state.info(name);