alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

wm: forwarding of clipboard ROM/Report sessions

Browse Source 
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
This commit is contained in:
Norman Feske
2019-06-27 19:03:03 +02:00
committed by Christian Helmuth
parent 2da604a6e2
commit 1fe9b07c99
14 changed files with 167 additions and 37 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/gems/run/sculpt/leitzentrale.config
View File

@@ -107,7 +107,9 @@
<start name="wm" caps="200">
<resource name="RAM" quantum="2M"/>
<provides> <service name="Nitpicker"/> <service name="Report"/> </provides>
<provides>
<service name="Nitpicker"/> <service name="Report"/> <service name="ROM"/>
</provides>
<config>
<policy label_prefix="decorator" role="decorator"/>
<default-policy/>