mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-17 10:19:48 +00:00
1fe9b07c99
The labels of clipboard ROM and clipboard report sessions of WM clients must be consistent with the client's nitpicker label. Hence, we must route those sessions through the window manager, analogously to the approach taken for shape reports in #3165. Issue #3437 |
||
|---|---|---|
| .. | ||
| launcher | ||
| drop_shadow.png | ||
| empty_runtime.config | ||
| fb_drv.config | ||
| fonts.config | ||
| index | ||
| leitzentrale.config | ||
| machine.vbox | ||
| machine.vdi.gz | ||
| nitpicker.config | ||
| usb.config | ||
| vimrc | ||
| wifi.config | ||
