[gthumb: 7/13] media player: adjust the pitch if not played at normal speed

[Paolo Bacchilega <paobac src gnome org>]

commit 5aae98476c8b4f75188bc64e5612a2ed71f70485
Author: Paolo Bacchilega <paobac src gnome org>
Date:   Fri May 29 22:10:30 2020 +0200

    media player: adjust the pitch if not played at normal speed

 extensions/gstreamer_tools/gth-media-viewer-page.c | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/extensions/gstreamer_tools/gth-media-viewer-page.c 
b/extensions/gstreamer_tools/gth-media-viewer-page.c
index f2b0073c..b76e5629 100644
--- a/extensions/gstreamer_tools/gth-media-viewer-page.c
+++ b/extensions/gstreamer_tools/gth-media-viewer-page.c
@@ -826,6 +826,7 @@ playbin_notify_volume_cb (GObject    *playbin,
 static void
 create_playbin (GthMediaViewerPage *self)
 {
+       GstElement *scaletempo;
        GstElement *video_sink;
        GstBus     *bus;
 
@@ -834,6 +835,10 @@ create_playbin (GthMediaViewerPage *self)
 
        self->priv->playbin = gst_element_factory_make ("playbin", "playbin");
 
+       scaletempo = gst_element_factory_make ("scaletempo", "");
+       if (scaletempo != NULL)
+               g_object_set (self->priv->playbin, "audio-filter", scaletempo, NULL);
+
        if (g_settings_get_boolean (self->priv->settings, PREF_GSTREAMER_USE_HARDWARE_ACCEL)) {
                GstElement *video_bin;
                GstElement *glupload;