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

launcher.run: adaptation to new window layouter

Browse Source
This commit is contained in:
Norman Feske 2019-01-24 16:11:22 +01:00
parent 431c80bbca
commit 27bb44d39c
1 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
repos/gems/run/launcher.run
View File

@ -135,6 +135,7 @@ install_config {
<policy label="launcher -> focus" report="nitpicker -> focus"/> <policy label="launcher -> focus" report="nitpicker -> focus"/>
<policy label="global_keys_handler -> hover" report="nitpicker -> hover"/> <policy label="global_keys_handler -> hover" report="nitpicker -> hover"/>
<policy label="layouter -> decorator_margins" report="decorator -> decorator_margins"/> <policy label="layouter -> decorator_margins" report="decorator -> decorator_margins"/>
<policy label="layouter -> rules" report="layouter -> rules"/>
</config> </config>
</start> </start>
@ -148,6 +149,7 @@ install_config {
<policy label_prefix="layouter" role="layouter"/> <policy label_prefix="layouter" role="layouter"/>
<policy label_prefix="launcher -> menu" role="direct"/> <policy label_prefix="launcher -> menu" role="direct"/>
<policy label_prefix="launcher -> testnit" role="direct"/> <policy label_prefix="launcher -> testnit" role="direct"/>
<default-policy/>
</config> </config>
<route> <route>
<service name="ROM" label="focus"> <child name="report_rom"/> </service> <service name="ROM" label="focus"> <child name="report_rom"/> </service>
@ -161,11 +163,20 @@ install_config {
<start name="layouter"> <start name="layouter">
<binary name="window_layouter"/> <binary name="window_layouter"/>
<resource name="RAM" quantum="4M"/> <resource name="RAM" quantum="4M"/>
<config rules="rom">
<report rules="yes"/>
<rules>
<screen name="screen"/>
<assign label_prefix="" target="screen" xpos="any" ypos="any"/>
</rules>
</config>
<route> <route>
<service name="ROM" label="window_list"> <child name="report_rom"/> </service> <service name="ROM" label="window_list"> <child name="report_rom"/> </service>
<service name="ROM" label="focus_request"> <child name="report_rom"/> </service> <service name="ROM" label="focus_request"> <child name="report_rom"/> </service>
<service name="ROM" label="hover"> <child name="report_rom"/> </service> <service name="ROM" label="hover"> <child name="report_rom"/> </service>
<service name="ROM" label="decorator_margins"> <child name="report_rom"/> </service> <service name="ROM" label="decorator_margins"> <child name="report_rom"/> </service>
<service name="ROM" label="rules"> <child name="report_rom"/> </service>
<service name="Report"> <child name="report_rom"/> </service>
<any-service> <any-service>
<child name="wm"/> <parent/> <any-child/> <child name="wm"/> <parent/> <any-child/>
</any-service> </any-service>
@ -175,6 +186,9 @@ install_config {
<start name="decorator"> <start name="decorator">
<binary name="decorator"/> <binary name="decorator"/>
<resource name="RAM" quantum="8M"/> <resource name="RAM" quantum="8M"/>
<config>
<default-policy/>
</config>
<route> <route>
<service name="ROM" label="config"> <service name="ROM" label="config">
<child name="decorator_config"/> </service> <child name="decorator_config"/> </service>
@ -263,7 +277,7 @@ install_config {
<binary name="testnit" /> <binary name="testnit" />
</subsystem> </subsystem>
<subsystem name="backdrop" title="Backdrop" caps="100"> <subsystem name="backdrop" title="Backdrop" caps="100">
<resource name="RAM" quantum="4M"/> <resource name="RAM" quantum="8M"/>
<binary name="backdrop" /> <binary name="backdrop" />
<config> <config>
<libc> <libc>