genode/repos/os/src
Norman Feske 4622ddb46f nitpicker: add version attribute in clicked report
This patch addresses a corner case where the nitpicker focus is not
solely defined by mouse clicks or (exclusively) by a window manager, but
by a policy component that takes mouse clicks and other policy (e.g.,
a lock screen) into account. It ensures that each click that follows a
focus change (however initiated) results in a new "clicked" report even
when the report looks the same. To allow the policy component to
uniquely distiguish subsequent reports, the report features a new
'version' attribute.

Fixes #3493
2019-11-21 14:31:52 +01:00
..
app smbios.h: move to os/include/smbios 2019-11-19 14:54:12 +01:00
drivers drivers/gpu/intel: upgrade platform session on demand 2019-11-19 14:54:13 +01:00
init timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
lib vfs/terminal: detect user interrupts (control-c) 2019-11-19 14:45:38 +01:00
server nitpicker: add version attribute in clicked report 2019-11-21 14:31:52 +01:00
test test/vfs_stress: annotate switch label fall-throughs 2019-11-19 14:23:56 +01:00