Merge pull request #30 from ananyasen/FileIO-ananya

FileIO branch pull request

1 files changed, 42 insertions, 1 deletions

diff --git a/js/document/html-document.js b/js/document/html-document.js
index 46fefd90..bc27ea7b 100755
--- a/js/document/html-document.js
+++ b/js/document/html-document.js
@@ -943,6 +943,9 @@ exports.HTMLDocument = Montage.create(TextDocument, {
             this.undoStack = this.application.ninja.undocontroller.undoQueue.slice(0);
             this.redoStack = this.application.ninja.undocontroller.redoQueue.slice(0);
             this.application.ninja.undocontroller.clearHistory();//clear history to give the next document a fresh start
+
+            //pause videos on switching or closing the document, so that the browser does not keep downloading the media data
+            this.pauseVideos();
         }
     },
 
@@ -971,6 +974,44 @@ exports.HTMLDocument = Montage.create(TextDocument, {
 
 
         }
-    }
+    },
         ////////////////////////////////////////////////////////////////////
+    /**
+     *pause videos on switching or closing the document
+    */
+    pauseVideos:{
+        value:function(){
+            var videosArr = this.documentRoot.getElementsByTagName("video"), i=0;
+            for(i=0;i<videosArr.length;i++){
+                if(!videosArr[i].paused){
+                    videosArr[i].pause();
+                }
+            }
+        }
+    },
+
+    /**
+     * remove the video src on closing the document, so that the browser does not keep downloading the media data, if the tag does not get garbage collected
+    */
+    stopVideos:{
+        value:function(){
+            var videosArr = this.documentRoot.getElementsByTagName("video"), i=0;
+            for(i=0;i<videosArr.length;i++){
+                videosArr[i].src = "";
+            }
+        }
+    },
+
+    pauseAndStopVideos:{
+        value:function(){
+            var videosArr = this.documentRoot.getElementsByTagName("video"), i=0;
+            for(i=0;i<videosArr.length;i++){
+                if(!videosArr[i].paused){
+                    videosArr[i].pause();
+                }
+                videosArr[i].src = "";
+            }
+        }
+    }
+    ////////////////////////////////////////////////////////////////////
 });
\ No newline at end of file