Jordan Petridis
24cb376551
PlayerWidget: Set a custom config for the gst Player.
2018-06-14 09:24:24 +03:00
Jordan Petridis
c15636ff8c
PlayerWidget: Wire the PlayerTimes labels and scale.
...
Adapted from gstreamer basic-tutorial-5.
https://gstreamer.freedesktop.org/documentation/tutorials/basic/toolkit-integration.html
2018-06-14 05:08:37 +03:00
Jordan Petridis
5a36eb1ac4
PlayerWidget: Wire the play and pause buttons and add style classes to the Info Labels.
...
This also includes the yak shaving of a ::new and ::inti methods.
2018-06-14 05:08:25 +03:00
Jordan Petridis
9cbc68a0a9
cargo fmt
2018-06-13 22:42:07 +03:00
Jordan Petridis
0d22a2e53d
PlayerWidget: Wire the widget to the GUI.
...
This commit also removes the majority of the playback widget,
though most of it's code will make it to the PlayerWidget once
it starts to get wired to the gtreamer_plaer::Player.
2018-06-13 22:38:28 +03:00
Jordan Petridis
1455772d4e
PlayerWidget: Intial draft of the the PlayerExt trait.
2018-06-13 18:10:45 +03:00
Jordan Petridis
dc043ebc5c
h-gtk: Bind the new player widget to code.
2018-06-12 17:43:21 +03:00
