Jordan Petridis
0f34c020c6
PlayerRate: Change the container widget to GtkBox and add padding.
2018-06-20 16:57:12 +03:00
Jordan Petridis
8e44b6455f
PlayerWidget: Add a widget to change the playback speed of the stream.
...
Only 3 options are offered currently since the design of the feature
is still in progress and this is only a throw a away prototype.
2018-06-20 15:27:52 +03:00
Jordan Petridis
984ccf33ae
PlayerInfo: Increase the size of the cover.
2018-06-19 00:05:29 +03:00
Jordan Petridis
21b7dbac8b
PlayerInfo: Limit label widths and add tooltips.
2018-06-18 22:49:08 +03:00
Jordan Petridis
567b3a556b
PlayerWidget: Connect the fast-forward and rewind buttons, sort of.
...
There appears to be a bug where it seeks 17 seconds instead of 10.
2018-06-14 10:32:41 +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
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
dc043ebc5c
h-gtk: Bind the new player widget to code.
2018-06-12 17:43:21 +03:00
Jordan Petridis
76236f486a
Rework the player widget.
2018-06-12 15:42:43 +03:00
