# HG changeset patch
# User ymh <ymh.work@gmail.com>
# Date 1354809166 -3600
# Node ID d081fc4250c299647db44e2963426dd36e293f89
# Parent  62081cdc367cdefe87a5de785fd81ec17bf8be60
compile js + new version

diff -r 62081cdc367c -r d081fc4250c2 .hgignore
--- a/.hgignore	Thu Dec 06 15:31:49 2012 +0100
+++ b/.hgignore	Thu Dec 06 16:52:46 2012 +0100
@@ -1,11 +1,9 @@
 
 syntax: regexp
 ^\.project$
-syntax: regexp
 ^\.hgcheck$
-syntax: regexp
 ^\.pydevproject$
-syntax: regexp
 ^integration/js/hashcut\.js$
-syntax: regexp
-^\.settings$
\ No newline at end of file
+^\.settings$
+\.DS_Store$
+.*\.pyc$
diff -r 62081cdc367c -r d081fc4250c2 integration/js/compile.sh
diff -r 62081cdc367c -r d081fc4250c2 src/hashcut/__init__.py
--- a/src/hashcut/__init__.py	Thu Dec 06 15:31:49 2012 +0100
+++ b/src/hashcut/__init__.py	Thu Dec 06 16:52:46 2012 +0100
@@ -1,4 +1,4 @@
-VERSION = (0, 6, 0, "final", 0)
+VERSION = (0, 7, 0, "final", 0)
 
 
 def get_version():
diff -r 62081cdc367c -r d081fc4250c2 src/hashcut/static/hashcut/js/hashcut.js
--- a/src/hashcut/static/hashcut/js/hashcut.js	Thu Dec 06 15:31:49 2012 +0100
+++ b/src/hashcut/static/hashcut/js/hashcut.js	Thu Dec 06 16:52:46 2012 +0100
@@ -1835,8 +1835,6 @@
 /*
             webm_src = $('<source>'),
 */
-            lastseektime,
-            currentseektime;
         mp4_src.attr({
             src: videourl, //mp4_file,
             type: "video/mp4"
@@ -1874,14 +1872,9 @@
         
         media.on("setcurrenttime", function(_milliseconds) {
             if (media.loaded) {
-                if (!media.seeking) {
-                    lastseektime = currentseektime = _milliseconds.valueOf();
-                    popcorn.currentTime(currentseektime / 1000);
-                    media.seeking = true;
-                    setTimeout(showSeek,200);
-                } else {
-                    lastseektime = _milliseconds.valueOf();
-                }
+                popcorn.currentTime(_milliseconds / 1000);
+                media.seeking = true;
+                setTimeout(showSeek,200);
             }
         });
         
@@ -1943,13 +1936,7 @@
         });
         
         popcorn.on("seeked", function() {
-            if (currentseektime !== lastseektime) {
-                currentseektime = lastseektime;
-                popcorn.currentTime(currentseektime / 1000);
-                media.seeking = true;
-            } else {
-                media.trigger("seeked");
-            }
+            media.trigger("seeked");
         });
         
         // Binding UI Events and Mashup Playing to Media