From db7ac5208ae702c45fd3de2c295b46721374d239 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C5=ABdolfs=20Mazurs?= <rudolfsm@src.gnome.org>
Date: Sat, 2 Jun 2012 15:45:55 +0300
Subject: [PATCH] Patch for bug
 https://bugzilla.gnome.org/show_bug.cgi?id=673630

---
 js/ui/main.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/js/ui/main.js b/js/ui/main.js
index 8d7c48e19..81232ffac 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 */