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

Rename "Nitpicker" service name to "Gui"

Browse Source 
Issue #3778
This commit is contained in:
Norman Feske
2020-06-11 16:06:21 +02:00
parent c6eda9bd80
commit 98f39c698f
64 changed files with 209 additions and 211 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -11,7 +11,7 @@
<service name="CPU"/>
<service name="LOG"/>
<service name="Report"/>
<service name="Nitpicker"/>
<service name="Gui"/>
<service name="Timer"/>
<service name="File_system"/>
</parent-provides>
@@ -20,7 +20,7 @@
<default caps="100"/>
<service name="Nitpicker">
<service name="Gui">
<default-policy> <child name="wm"/> </default-policy> </service>
<service name="File_system">
@@ -39,10 +39,10 @@
<start name="fader">
<binary name="nit_fader"/>
<resource name="RAM" quantum="50M"/>
<provides> <service name="Nitpicker"/> </provides>
<provides> <service name="Gui"/> </provides>
<config initial_fade_in_steps="100" fade_in_steps="20" alpha="210"/>
<route>
<service name="Nitpicker"> <child name="manager"/> </service>
<service name="Gui"> <child name="manager"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
@@ -53,10 +53,10 @@
<start name="fader">
<binary name="nit_fader"/>
<resource name="RAM" quantum="50M"/>
<provides> <service name="Nitpicker"/> </provides>
<provides> <service name="Gui"/> </provides>
<config fade_out_steps="30" alpha="0"/>
<route>
<service name="Nitpicker"> <child name="manager"/> </service>
<service name="Gui"> <child name="manager"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
@@ -69,14 +69,14 @@
<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
<config/>
<route>
<service name="Nitpicker"> <child name="fader"/> </service>
<service name="Gui"> <child name="fader"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="nitpicker" caps="200">
<resource name="RAM" quantum="6M"/>
<provides> <service name="Nitpicker"/> </provides>
<provides> <service name="Gui"/> </provides>
<config focus="rom">
<background color="#272f45"/>
<domain name="default" layer="1" content="client" label="no" hover="always" focus="click"/>
@@ -139,7 +139,7 @@
<start name="wm" caps="300">
<resource name="RAM" quantum="4M"/>
<provides>
<service name="Nitpicker"/> <service name="Report"/> <service name="ROM"/>
<service name="Gui"/> <service name="Report"/> <service name="ROM"/>
</provides>
<config>
<policy label_prefix="decorator" role="decorator"/>
@@ -149,7 +149,7 @@
<service name="ROM" label="resize_request"> <child name="report_rom"/> </service>
<service name="ROM" label="focus"> <child name="report_rom"/> </service>
<service name="Report"> <child name="report_rom"/> </service>
<service name="Nitpicker"> <child name="nitpicker"/> </service>
<service name="Gui"> <child name="nitpicker"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
@@ -187,7 +187,7 @@
<service name="ROM" label="pointer"> <child name="report_rom"/> </service>
<service name="Report" label="decorator_margins"> <child name="report_rom"/> </service>
<service name="Report" label="hover"> <child name="report_rom"/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
<service name="Gui"> <child name="wm"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
@@ -206,7 +206,7 @@
<start name="manager" caps="300">
<binary name="sculpt_manager"/>
<resource name="RAM" quantum="3M"/>
<provides> <service name="Nitpicker"/> </provides>
<provides> <service name="Gui"/> </provides>
<config/>
<route>
<service name="Report" label="runtime_config">
@@ -233,7 +233,7 @@
<service name="ROM" label_suffix="_hover"> <child name="report_rom"/> </service>
<service name="ROM" label="window_list"> <child name="report_rom"/> </service>
<service name="ROM" label="decorator_margins"> <child name="report_rom"/> </service>
<service name="Nitpicker"> <parent/> </service>
<service name="Gui"> <parent/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
@@ -255,7 +255,7 @@
<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
<config origin="top_right" xpos="-412" ypos="2" initial_width="400" initial_height="400"/>
<route>
<service name="Nitpicker"> <child name="wm" label="log"/> </service>
<service name="Gui"> <child name="wm" label="log"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
@@ -309,7 +309,7 @@
xpos="-20" ypos="-20" />
</config>
<route>
<service name="Nitpicker"> <child name="wm" label="logo"/> </service>
<service name="Gui"> <child name="wm" label="logo"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>