scripts/position.js
changeset 42 774751e7faed
parent 11 0faea3a6c881
child 78 08f8a72b1f7b
--- a/scripts/position.js	Mon Sep 01 16:48:09 2008 -0400
+++ b/scripts/position.js	Mon Sep 01 16:48:47 2008 -0400
@@ -43,7 +43,7 @@
   pos_in_drag = false;
   var inner = document.getElementById('playhead-filler');
   var base = document.getElementById('playhead');
-  var multiplier = $(base).Width();
+  var multiplier = $(base).Width() - 13;
   var pos = x - $(inner).Left() + 8;
   pos = 100 * ( pos / multiplier );
   set_playback_position(pos);
@@ -66,7 +66,7 @@
   
   // pos needs to be 1-100
   var base = document.getElementById('playhead');
-  var multiplier = $(base).Width();
+  var multiplier = $(base).Width() - 13;
   pos = ( pos / 100 ) * multiplier;
   var left = pos + $(base).Left();
   posslide_handle_drag(left, 0, true);