Jordan Petridis
e77000076b
Player: Add custom icons for the forward and rewind buttons.
2018-07-23 21:28:29 +03:00
Jordan Petridis
2d879b9604
PlayerRate: Change the container widget to GtkBox and add padding.
2018-06-23 22:45:20 +00:00
Jordan Petridis
ff2f43766e
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 22:45:19 +00:00
Jordan Petridis
474cb49d2c
PlayerInfo: Increase the size of the cover.
2018-06-23 22:45:19 +00:00
Jordan Petridis
590f815dc0
PlayerInfo: Limit label widths and add tooltips.
2018-06-23 22:45:18 +00:00
Jordan Petridis
38768c777d
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 22:45:13 +00:00
Jordan Petridis
a7b639a66b
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 22:45:12 +00:00
Jordan Petridis
1b78d221b6
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 22:45:12 +00:00
Jordan Petridis
5f92df97e6
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 22:45:11 +00:00
Jordan Petridis
58f09ba150
h-gtk: Bind the new player widget to code.
2018-06-23 22:45:10 +00:00
Jordan Petridis
1142948945
Rework the player widget.
2018-06-23 22:45:10 +00:00
