ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-19 03:06:39 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: remove policy warnings

Browse Source 
The warnings were introduced with commit "os/session_policy: warn if no
policy exists".
This commit is contained in:
Norman Feske 2019-02-12 15:17:06 +01:00
parent 924e5c54eb
commit c232d703ca
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -110,6 +110,7 @@
<provides> <service name="Nitpicker"/> </provides> <provides> <service name="Nitpicker"/> </provides>
<config> <config>
<policy label_prefix="decorator" role="decorator"/> <policy label_prefix="decorator" role="decorator"/>
<default-policy/>
</config> </config>
<route> <route>
<service name="ROM" label="resize_request"> <child name="report_rom"/> </service> <service name="ROM" label="resize_request"> <child name="report_rom"/> </service>
@ -140,6 +141,7 @@
<policy label="log" decoration="yes"/> <policy label="log" decoration="yes"/>
<policy label="runtime -> leitzentrale -> runtime_view" decoration="no" motion="20"/> <policy label="runtime -> leitzentrale -> runtime_view" decoration="no" motion="20"/>
<policy label_prefix="gui" decoration="no"/> <policy label_prefix="gui" decoration="no"/>
<default-policy/>
</config> </config>
<route> <route>
<service name="ROM" label="default.png"> <parent label="drop_shadow.png"/> </service> <service name="ROM" label="default.png"> <parent label="drop_shadow.png"/> </service>