mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 18:56:29 +00:00
sculpt: add whitespace around parent resources
This commit is contained in:
parent
57fd4e9148
commit
6ee7049736
@ -97,7 +97,7 @@ struct Sculpt::Graph
|
||||
{
|
||||
gen_named_node(xml, "frame", name, [&] () {
|
||||
xml.node("label", [&] () {
|
||||
xml.attribute("text", name); }); });
|
||||
xml.attribute("text", Start_name(" ", name, " ")); }); });
|
||||
}
|
||||
|
||||
void _gen_graph_dialog()
|
||||
|
Loading…
Reference in New Issue
Block a user