genodelabs/genode — Issue #11: Support for resizing framebuffers (was mantis id 51)
Author: nfeske
Created: 2011-12-20 08:59:31+00:00
State: open
Labels: feature

Support for changing the size of framebuffers is highly desired. One use case is changing screen resolutions at runtime. But more importantly, we want applications to adapt their framebuffer sessions to window-size changes in our future working environment. Intuitively, I would add a way to install a signal handler to a 'Framebuffer_session'. The signal handler receives a signal each time, the framebuffer properties change. So a client can request the new framebuffer information and adapt itself. However, this might not be enough. A client should be able to specify the degree of freedom it is able to deal with. E.g., one client may be able to adapt itself to a changed color depth whereas another client does not.