recorder.patch 1.0 KB

12345678910111213141516171819202122232425262728
  1. From 915524e1ab7d2c5efb95985f30ee2f7c5ca69554 Mon Sep 17 00:00:00 2001
  2. From: Rui Matos <tiagomatos@gmail.com>
  3. Date: Wed, 02 May 2012 14:44:40 +0000
  4. Subject: main: Close the recorder instead of pausing it
  5. Pausing means that we will continue to use the same output file when
  6. the keybinding is activated again. While useful to record a single
  7. video in chunks, it doesn't seem to be how most users understand the
  8. keybinding. Closing the recorder will close the file and create a new
  9. one the next time the keybinding is pressed.
  10. https://bugzilla.gnome.org/show_bug.cgi?id=675128
  11. ---
  12. diff --git a/js/ui/main.js b/js/ui/main.js
  13. index 3b80297..25ad8d8 100644
  14. --- a/js/ui/main.js
  15. +++ b/js/ui/main.js
  16. @@ -110,7 +110,7 @@ function _initRecorder() {
  17. }
  18. if (recorder.is_recording()) {
  19. - recorder.pause();
  20. + recorder.close();
  21. Meta.enable_unredirect_for_screen(global.screen);
  22. } else {
  23. // read the parameters from GSettings always in case they have changed
  24. --
  25. cgit v0.9.0.2