hide dock when mouse not hovered on transparent dock window
This commit is contained in:
parent
40b89dffca
commit
5927e29fc6
5 changed files with 85 additions and 16 deletions
|
|
@ -7,12 +7,34 @@
|
|||
<property name="decorated">false</property>
|
||||
<property name="resizable">false</property>
|
||||
<child>
|
||||
<object class="GtkListView" id="list_view">
|
||||
<property name="orientation">horizontal</property>
|
||||
<property name="margin-top">4</property>
|
||||
<property name="margin-bottom">4</property>
|
||||
<property name="margin-start">4</property>
|
||||
<property name="margin-end">4</property>
|
||||
<object class="GtkRevealer" id="revealer">
|
||||
<property name="hexpand">true</property>
|
||||
<property name="vexpand">true</property>
|
||||
<property name="reveal-child">true</property>
|
||||
<property name="transition-duration">200</property>
|
||||
<property name="transition-type">swing-up</property>
|
||||
<!--
|
||||
<child>
|
||||
<object class="GtkListView" id="list_view">
|
||||
<property name="orientation">horizontal</property>
|
||||
<property name="hexpand">true</property>
|
||||
<property name="margin-top">4</property>
|
||||
<property name="margin-bottom">4</property>
|
||||
<property name="margin-start">4</property>
|
||||
<property name="margin-end">4</property>
|
||||
</object>
|
||||
</child>
|
||||
-->
|
||||
<child>
|
||||
<object class="GtkLabel">
|
||||
<property name="width-request">256</property>
|
||||
<property name="height-request">64</property>
|
||||
<property name="label">hello world</property>
|
||||
<property name="hexpand">true</property>
|
||||
<property name="margin-start">4</property>
|
||||
<property name="margin-end">4</property>
|
||||
</object>
|
||||
</child>
|
||||
</object>
|
||||
</child>
|
||||
</template>
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue