From 7712a7a92e58f36a4dd2568b18eb355dac020f2c Mon Sep 17 00:00:00 2001
From: abakkk <abakkk@netcourrier.com>
Date: Sun, 17 Mar 2019 00:59:49 +0100
Subject: [PATCH] wrap around global.play_theme_sound() removal

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/327
---
 draw.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/draw.js b/draw.js
index e57beb6..af90830 100644
--- a/draw.js
+++ b/draw.js
@@ -534,7 +534,12 @@ var DrawingArea = new Lang.Class({
             // pass the parent (bgContainer) to Flashspot because coords of this are relative
             let flashspot = new Screenshot.Flashspot(this.get_parent());
             flashspot.fire();
-            global.play_theme_sound(0, 'screen-capture', "Save as SVG", null);
+            if (global.play_theme_sound) {
+                global.play_theme_sound(0, 'screen-capture', "Save as SVG", null);
+            } else if (global.display && global.display.get_sound_player) {
+                let player = global.display.get_sound_player();
+                player.play_from_theme('screen-capture', "Save as SVG", null);
+            }
         }
     },