Jordan Petridis
791e8544e0
PlayerRate: Change the container widget to GtkBox and add padding.
2018-06-23 13:12:41 +00:00
Jordan Petridis
98f1f54877
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-23 13:12:41 +00:00
Jordan Petridis
39d73c7b2b
PlayerInfo: Increase the size of the cover.
2018-06-23 13:12:40 +00:00
Jordan Petridis
8ea45093a3
PlayerInfo: Limit label widths and add tooltips.
2018-06-23 13:12:39 +00:00
Jordan Petridis
872d7d6c58
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-23 13:12:32 +00:00
Jordan Petridis
b20ea22eaf
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-23 13:12:30 +00:00
Jordan Petridis
d671c07afb
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-23 13:12:30 +00:00
Jordan Petridis
aee3fcf7bf
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-23 13:12:28 +00:00
Jordan Petridis
a278bed302
h-gtk: Bind the new player widget to code.
2018-06-23 13:12:27 +00:00
Jordan Petridis
1359fc22a5
Rework the player widget.
2018-06-23 13:12:27 +00:00
