diff --git a/repos/gems/src/app/sculpt_manager/main.cc b/repos/gems/src/app/sculpt_manager/main.cc index b92b6fb538..478cb57851 100644 --- a/repos/gems/src/app/sculpt_manager/main.cc +++ b/repos/gems/src/app/sculpt_manager/main.cc @@ -1340,7 +1340,7 @@ struct Sculpt::Main : Input_event_handler, Start_name const start_name("editor"); _file_browser_state.text_area.construct(_child_states, start_name, Priority::LEITZENTRALE, - Ram_quota{16*1024*1024}, Cap_quota{250}); + Ram_quota{32*1024*1024}, Cap_quota{350}); } } diff --git a/repos/gems/src/app/sculpt_manager/model/file_browser_state.h b/repos/gems/src/app/sculpt_manager/model/file_browser_state.h index 9d40c58f14..fc4f98d5c3 100644 --- a/repos/gems/src/app/sculpt_manager/model/file_browser_state.h +++ b/repos/gems/src/app/sculpt_manager/model/file_browser_state.h @@ -123,14 +123,7 @@ struct Sculpt::File_browser_state : Noncopyable return; xml.node("start", [&] { - xml.attribute("name", text_area->name()); - - text_area->gen_start_node_version(xml); - - xml.attribute("priority", (int)Priority::LEITZENTRALE); - xml.attribute("caps", 350); - gen_named_node(xml, "resource", "RAM", [&] { - xml.attribute("quantum", String<64>(22*1024*1024UL)); }); + text_area->gen_start_node_content(xml); gen_named_node(xml, "binary", "text_area");