genode/os/include/nitpicker_session/client.h
Norman Feske f82e1a7092 nitpicker: Late allocation of virtual framebuffer
This patch changes the interface of Nitpicker to support dynamically
dimensioned virtual frame buffers. This solves two problems:

First, it enables a client to create a connection to nitpicker without
donating much session quota in advance. The old interface required each
screen-size-dependent client to donate as much memory as needed to
allocate a screen-sized virtual framebuffer. For clients that are
interested int the screen size but cover just a small portion of the
screen (e.g., a banner, a menu, an applet that sits in the screen
corner), this overprovisioning is painful. The new interface allows such
clients to upgrade the session quota for an existing session as needed.

Second, because each nitpicker session used to have a virtual frame
buffer with a fixed size over the lifetime of the session, a client that
wanted to implement a variable-sized window had to either vastly
overprovide resources (by opening a session as large as the screen just
in order to be prepared for the worst case of a maximized window), or it
had to replace the session by a new one (thereby discarding the stacking
order of the old views) each time the window changes its dimensions. The
new interface accommodates such clients much better.
2013-10-22 08:00:16 +02:00

51 lines
1.2 KiB
C++

/*
* \brief Client-side nitpicker session interface
* \author Norman Feske
* \date 2006-08-23
*/
/*
* Copyright (C) 2006-2013 Genode Labs GmbH
*
* This file is part of the Genode OS framework, which is distributed
* under the terms of the GNU General Public License version 2.
*/
#ifndef _INCLUDE__NITPICKER_SESSION__CLIENT_H_
#define _INCLUDE__NITPICKER_SESSION__CLIENT_H_
#include <nitpicker_session/capability.h>
#include <base/rpc_client.h>
namespace Nitpicker { struct Session_client; }
struct Nitpicker::Session_client : public Rpc_client<Session>
{
explicit Session_client(Session_capability session)
: Rpc_client<Session>(session) { }
Framebuffer::Session_capability framebuffer_session() {
return call<Rpc_framebuffer_session>(); }
Input::Session_capability input_session() {
return call<Rpc_input_session>(); }
View_capability create_view() {
return call<Rpc_create_view>(); }
void destroy_view(View_capability view) {
call<Rpc_destroy_view>(view); }
int background(View_capability view) {
return call<Rpc_background>(view); }
Framebuffer::Mode mode() {
return call<Rpc_mode>(); }
void buffer(Framebuffer::Mode mode, bool alpha) {
call<Rpc_buffer>(mode, alpha); }
};
#endif /* _INCLUDE__NITPICKER_SESSION__CLIENT_H_ */