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

sculpt: tweak window motions in leitzentrale

Browse Source
This commit is contained in:
Norman Feske 2021-03-11 17:30:12 +01:00
parent 18182b11da
commit 00900d82b5
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -171,14 +171,14 @@
</dir> </dir>
<dir name="dev"> <log/> </dir> <dir name="dev"> <log/> </dir>
</vfs> </vfs>
<policy label="log" decoration="yes" motion="20"/> <policy label="log" decoration="yes" motion="40"/>
<policy label="runtime -> leitzentrale -> settings_view" decoration="no" motion="20"/> <policy label="runtime -> leitzentrale -> settings_view" decoration="no" motion="40"/>
<policy label="runtime -> leitzentrale -> file_browser_view" decoration="no" motion="30"/> <policy label="runtime -> leitzentrale -> file_browser_view" decoration="no" motion="60"/>
<policy label="runtime -> leitzentrale -> network_view" decoration="no" motion="20"/> <policy label="runtime -> leitzentrale -> network_view" decoration="no" motion="40"/>
<policy label="runtime -> leitzentrale -> runtime_view" decoration="no" motion="30"/> <policy label="runtime -> leitzentrale -> runtime_view" decoration="no" motion="60"/>
<policy label="runtime -> leitzentrale -> menu_view" decoration="no" motion="30"/> <policy label="runtime -> leitzentrale -> menu_view" decoration="no" motion="60"/>
<policy label="runtime -> leitzentrale -> popup_view" decoration="no" motion="20"/> <policy label="runtime -> leitzentrale -> popup_view" decoration="no" motion="40"/>
<policy label="runtime -> leitzentrale -> panel_view" decoration="no" motion="20"/> <policy label="runtime -> leitzentrale -> panel_view" decoration="no" motion="40"/>
<policy label_prefix="logo" decoration="no"/> <policy label_prefix="logo" decoration="no"/>
<default-policy/> <default-policy/>
</config> </config>