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
..
stacks	Use a mpmc channel instead of the mspc from the std.	2018-05-28 20:49:12 +03:00
widgets	PlayerWidget: Wire the PlayerTimes labels and scale.	2018-06-14 05:08:37 +03:00
app.rs	PlayerWidget: Wire the play and pause buttons and add style classes to the Info Labels.	2018-06-14 05:08:25 +03:00
headerbar.rs	h-gtk: Write doc comment for aboutdialog.	2018-05-29 13:36:22 +03:00
main.rs	Initial playback	2018-06-12 15:42:31 +03:00
manager.rs	Fix the broken test.	2018-04-28 14:53:43 +03:00
settings.rs	Keyboard shortcut overview!	2018-05-20 13:59:00 +01:00
static_resource.rs	Cargo clippy and fmt.	2018-02-19 09:58:47 +00:00
utils.rs	Our GActions don't need to be in the app namespace	2018-06-07 18:06:36 +01:00