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

Rename nit_fader to gui_fader

Browse Source 
Issue #3778
This commit is contained in:
Norman Feske
2020-06-16 13:52:53 +02:00
parent 48b4891f6e
commit 7a97cd70aa
11 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -37,7 +37,7 @@
<then>
<inline>
<start name="fader">
<binary name="nit_fader"/>
<binary name="gui_fader"/>
<resource name="RAM" quantum="50M"/>
<provides> <service name="Gui"/> </provides>
<config initial_fade_in_steps="100" fade_in_steps="20" alpha="210"/>
@@ -51,7 +51,7 @@
<else>
<inline>
<start name="fader">
<binary name="nit_fader"/>
<binary name="gui_fader"/>
<resource name="RAM" quantum="50M"/>
<provides> <service name="Gui"/> </provides>
<config fade_out_steps="30" alpha="0"/>