mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-28 01:28:53 +00:00
parent
7f6f710bd2
commit
fc5903c917
@ -170,10 +170,22 @@ struct Decorator::Main : Window_factory_base
|
|||||||
*/
|
*/
|
||||||
Window_base *create(Xml_node window_node) override
|
Window_base *create(Xml_node window_node) override
|
||||||
{
|
{
|
||||||
|
for (;;) {
|
||||||
|
try {
|
||||||
return new (_heap)
|
return new (_heap)
|
||||||
Window(_env, window_node.attribute_value("id", 0UL),
|
Window(_env, window_node.attribute_value("id", 0UL),
|
||||||
_gui, _animator, _theme, _decorator_config);
|
_gui, _animator, _theme, _decorator_config);
|
||||||
}
|
}
|
||||||
|
catch (Out_of_ram) {
|
||||||
|
log("Handle Out_of_ram of GUI session - upgrade by 8K");
|
||||||
|
_gui.upgrade_ram(8192);
|
||||||
|
}
|
||||||
|
catch (Out_of_caps) {
|
||||||
|
log("Handle Out_of_caps of GUI session - upgrade by 2");
|
||||||
|
_gui.upgrade_caps(2);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Window_factory_base interface
|
* Window_factory_base interface
|
||||||
|
Loading…
Reference in New Issue
Block a user