diff --git a/repos/gems/run/sculpt/leitzentrale.config b/repos/gems/run/sculpt/leitzentrale.config index d2cd4ed01..1b7bad684 100644 --- a/repos/gems/run/sculpt/leitzentrale.config +++ b/repos/gems/run/sculpt/leitzentrale.config @@ -137,6 +137,9 @@ + + + diff --git a/repos/gems/src/app/sculpt_manager/main.cc b/repos/gems/src/app/sculpt_manager/main.cc index cfe0a8261..d555ebfd7 100644 --- a/repos/gems/src/app/sculpt_manager/main.cc +++ b/repos/gems/src/app/sculpt_manager/main.cc @@ -620,11 +620,12 @@ void Sculpt::Main::_handle_window_layout() auto gen_window = [&] (Xml_node win, Rect rect) { if (rect.valid()) { xml.node("window", [&] () { - xml.attribute("id", win.attribute_value("id", 0UL)); + xml.attribute("id", win.attribute_value("id", 0UL)); xml.attribute("xpos", rect.x1()); xml.attribute("ypos", rect.y1()); xml.attribute("width", rect.w()); xml.attribute("height", rect.h()); + xml.attribute("title", win.attribute_value("label", Label())); }); } };