mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-07 19:34:56 +00:00
terminal: respond to window-close event
This commit is contained in:
parent
d3626bd84f
commit
78c09c27ca
@ -83,7 +83,8 @@ class Terminal::Framebuffer
|
||||
* the old (possibly too small) dataspace.
|
||||
*/
|
||||
_mode = _fb.mode();
|
||||
_ds.construct(_env.rm(), _fb.dataspace());
|
||||
if (_mode.width() && _mode.height())
|
||||
_ds.construct(_env.rm(), _fb.dataspace());
|
||||
}
|
||||
};
|
||||
|
||||
|
@ -229,9 +229,7 @@ void Terminal::Main::_handle_config()
|
||||
_text_screen_surface->geometry(new_geometry);
|
||||
}
|
||||
}
|
||||
catch (Text_screen_surface<PT>::Geometry::Invalid)
|
||||
{
|
||||
warning("invalid framebuffer size");
|
||||
catch (Text_screen_surface<PT>::Geometry::Invalid) {
|
||||
|
||||
/*
|
||||
* Make sure to never operate on an invalid-sized framebuffer
|
||||
@ -240,6 +238,7 @@ void Terminal::Main::_handle_config()
|
||||
* there may still be a stale '_text_screen_surface'.
|
||||
*/
|
||||
_text_screen_surface.destruct();
|
||||
_terminal_size = Area(0, 0);
|
||||
}
|
||||
|
||||
_root.notify_resized(Session::Size(_terminal_size.w(), _terminal_size.h()));
|
||||
|
Loading…
x
Reference in New Issue
Block a user