[gnome-shell] Patch for bug https://bugzilla.gnome.org/show_bug.cgi?id=673630

[RÅdolfs Mazurs <rudolfsm src gnome org>]

commit db7ac5208ae702c45fd3de2c295b46721374d239
Author: RÅdolfs Mazurs <rudolfsm src gnome org>
Date:   Sat Jun 2 15:45:55 2012 +0300

    Patch for bug https://bugzilla.gnome.org/show_bug.cgi?id=673630

 js/ui/main.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index 8d7c48e..81232ff 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -105,6 +105,7 @@ function createInitialSetupSession() {
 
 function _initRecorder() {
     let recorderSettings = new Gio.Settings({ schema: 'org.gnome.shell.recorder' });
+    let desktopLockdownSettings = new Gio.Settings({ schema: 'org.gnome.desktop.lockdown' });
     let bindingSettings = new Gio.Settings({ schema: 'org.gnome.shell.keybindings' });
 
     global.display.add_keybinding('toggle-recording',
@@ -117,7 +118,7 @@ function _initRecorder() {
         if (recorder.is_recording()) {
             recorder.close();
             Meta.enable_unredirect_for_screen(global.screen);
-        } else {
+        } else if (!desktopLockdownSettings.get_boolean('disable-save-to-disk')) {
             // read the parameters from GSettings always in case they have changed
             recorder.set_framerate(recorderSettings.get_int('framerate'));
             /* Translators: this is a filename used for screencast recording */