This patch introduces keyboard-focus events to the 'Input::Event' class
and changes the name 'Input::Event::keycode' to 'code'. The 'code'
represents the key code for PRESS/RELEASE events, and the focus state
for FOCUS events (0 - unfocused, 1 - focused).
Furthermore, nitpicker has been adapted to deliver FOCUS events to its
clients.
Fixes#609
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
Nitpicker is the low-level GUI server of Genode. For the general concepts,
please refer to the following document:
:A Nitpicker’s guide to a minimal-complexity secure GUI:
[http://genode-labs.com/publications/nitpicker-secure-gui-2005.pdf]
Configuration
~~~~~~~~~~~~~
Nitpicker supports the following configuration options, supplied via
Genode's config mechanism.
:Tinting of clients in X-Ray mode:
Nitpicker allows for assigning a color to single clients or a groups
of clients based on the client's label. The following configuration
tints all views of the launchpad subsystem in blue except for those
views that belong to the testnit child of launchpad.
! <config>
! <policy label="launchpad" color="#0000ff"/>
! <policy label="launchpad -> testnit" color="#ff0000"/>
! </config>
af66043b79