--- /usr/share/gnome-shell/js/ui/main.js_old	2012-04-06 11:46:15.406472490 +0300
+++ /usr/share/gnome-shell/js/ui/main.js	2012-04-06 12:20:04.542489804 +0300
@@ -100,6 +100,7 @@
 
 function _initRecorder() {
     let recorderSettings = new Gio.Settings({ schema: 'org.gnome.shell.recorder' });
+    let desktopLockdownSettings = new Gio.Settings({ schema: 'org.gnome.desktop.lockdown' });
 
     global.screen.connect('toggle-recording', function() {
         if (recorder == null) {
@@ -109,7 +110,7 @@
         if (recorder.is_recording()) {
             recorder.pause();
             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'));
             recorder.set_filename('shell-%d%u-%c.' + recorderSettings.get_string('file-extension'));
