--- 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$
--- 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():
--- 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