genode/repos/gems/run/sculpt/launcher
Norman Feske d3d6b643f1 wm: shape report interception mechanism
This patch simplifies the propagation of pointer shapes from
window-manager clients to the pointer. The "shape" report is routed to
the wm server, which, in turn, reports it to the pointer. This way, the
pointer can easily correlate the label of the application's "shape"
report with the label of the application's Nitpicker session. The
formerly used manual rewriting of the "shape" label is not needed
anymore.

Since the wm server provides a "Report" service now, its <provides>
declaration must cover "Report" in addition to "Nitpicker" to avoid
runtime error messages. Vice versa, the wm is now expected to request
"shape" reports, which should be routed to the pointer (using the
'label_last' routing attribute).

Fixes #3165
2019-02-26 14:45:07 +01:00
..
2048 Add and update Sculpt game launchers 2018-08-30 09:24:47 +02:00
acpica sculpt: support reset/poweroff by acpica 2018-09-05 11:04:23 +02:00
arora wm: shape report interception mechanism 2019-02-26 14:45:07 +01:00
backdrop sculpt: separate launchers from deploy config 2018-08-28 17:10:55 +02:00
config_editor wm: shape report interception mechanism 2019-02-26 14:45:07 +01:00
download_debian sculpt: update download_debian launcher for 18.11 2018-11-29 11:54:30 +01:00
firefox@seoul sculpt: update browser VMs for 18.11 2019-01-07 12:33:56 +01:00
firefox@vbox wm: shape report interception mechanism 2019-02-26 14:45:07 +01:00
fonts_fs sculpt: separate launchers from deploy config 2018-08-28 17:10:55 +02:00
gambatte Add and update Sculpt game launchers 2018-08-30 09:24:47 +02:00
motif_decorator sculpt: split window manager into multiple pkgs 2018-11-27 11:36:35 +01:00
nano3d sculpt: separate launchers from deploy config 2018-08-28 17:10:55 +02:00
noux-system sculpt: separate launchers from deploy config 2018-08-28 17:10:55 +02:00
quake Add and update Sculpt game launchers 2018-08-30 09:24:47 +02:00
recall_fs sculpt: launcher for recall_fs 2018-11-29 11:46:02 +01:00
report_dump sculpt: separate launchers from deploy config 2018-08-28 17:10:55 +02:00
shared_fs sculpt: separate launchers from deploy config 2018-08-28 17:10:55 +02:00
themed_decorator sculpt: split window manager into multiple pkgs 2018-11-27 11:36:35 +01:00
top_view sculpt: update top_view to 18.11 2018-11-29 11:54:30 +01:00
usb_devices_rom sculpt: separate launchers from deploy config 2018-08-28 17:10:55 +02:00
vm wm: shape report interception mechanism 2019-02-26 14:45:07 +01:00
vm_fs sculpt: separate launchers from deploy config 2018-08-28 17:10:55 +02:00
window_layouter sculpt: let window layouter recall its prior state 2018-11-29 11:46:02 +01:00
wm wm: shape report interception mechanism 2019-02-26 14:45:07 +01:00