mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
sculpt: fine-tune motion of graph positioning
By using 30 motion steps, the positioning of the graph window fits better with the geometry animations of the graph nodes inside the window.
This commit is contained in:
parent
905da4b0cc
commit
b3219fc3a4
@ -139,7 +139,7 @@
|
||||
<dir name="dev"> <log/> </dir>
|
||||
</vfs>
|
||||
<policy label="log" decoration="yes"/>
|
||||
<policy label="runtime -> leitzentrale -> runtime_view" decoration="no" motion="20"/>
|
||||
<policy label="runtime -> leitzentrale -> runtime_view" decoration="no" motion="30"/>
|
||||
<policy label_prefix="gui -> popup" decoration="no" motion="20"/>
|
||||
<policy label_prefix="gui" decoration="no"/>
|
||||
<default-policy/>
|
||||
|
Loading…
Reference in New Issue
Block a user