toxblh/podcasts
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

PlayerWidget: Wire the PlayerTimes labels and scale.

Browse Source 
Adapted from gstreamer basic-tutorial-5.
https://gstreamer.freedesktop.org/documentation/tutorials/basic/toolkit-integration.html
This commit is contained in:
Jordan Petridis
2018-06-23 22:45:12 +00:00
parent 1b78d221b6
commit a7b639a66b
2 changed files with 61 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
hammond-gtk/resources/gtk/player_toolbar.ui
+2 -8
View File
@@ -184,18 +184,12 @@
<object class="GtkScale" id="seek">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="valign">center</property>
<property name="hexpand">True</property>
<property name="show_fill_level">True</property>
<property name="restrict_to_fill_level">False</property>
<property name="fill_level">-1</property>
<property name="digits">0</property>
<property name="round_digits">1</property>
<property name="draw_value">False</property>
<property name="has_origin">False</property>
<property name="value_pos">right</property>
</object>
<packing>
<property name="position">3</property>
<property name="position">2</property>
</packing>
</child>
<child>