cleanup and re-enable dock autohide
This commit is contained in:
parent
e9c5bf9254
commit
5cda4046a6
10 changed files with 37 additions and 240 deletions
|
|
@ -18,8 +18,8 @@
|
|||
<child>
|
||||
<object class="GtkRevealer" id="revealer">
|
||||
<property name="reveal-child">true</property>
|
||||
<property name="transition-duration">200</property>
|
||||
<property name="transition-type">swing-up</property>
|
||||
<property name="transition-duration">300</property>
|
||||
<property name="transition-type">slide-up</property>
|
||||
<child>
|
||||
<object class="GtkBox">
|
||||
<property name="orientation">horizontal</property>
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue