integration/js/editor.js
changeset 118 7ad8b85dbd57
parent 109 3034776c1f35
child 123 679809037606
equal deleted inserted replaced
117:14ddc2ecc52e 118:7ad8b85dbd57
   528                 if (segment) {
   528                 if (segment) {
   529                     mashup.setCurrentTime(segment.begin);
   529                     mashup.setCurrentTime(segment.begin);
   530                     mashup.trigger("enter-annotation",segment);
   530                     mashup.trigger("enter-annotation",segment);
   531                 }
   531                 }
   532             } else {
   532             } else {
   533                 
   533                 setMedia(currentMedia);
   534             }
   534             }
   535         }
   535         }
   536         return false;
   536         return false;
   537     });
   537     });
   538     
   538