audio player auto hide after 15sec after pausing

This commit is contained in:
2018-05-02 15:16:00 +02:00
parent 6afcdd08c6
commit 4d8a639347
2 changed files with 1766 additions and 60 deletions
File diff suppressed because it is too large Load Diff
@@ -217,7 +217,7 @@
_$body.removeClass('ajax-loading');
};
function onAjaxLoaded(data, state){
console.log('ajax loaded : state', state);
console.log('ajax loaded', state, data);
// console.log(data);
// reset all style may been added by other pages (like masonry for productions)
// and replace all content with newly loaded
@@ -891,6 +891,8 @@
this.currentHistoricIndex = historic_index;
}
// TODO: update language switcher for document url
// TODO: stop random player if playing from studio
this.emmit('audio-open-document', {caller:caller});
@@ -1016,9 +1018,11 @@
},
togglePlayPause(e){
if(this.audio.paused){
this.audio.play();
// this.audio.play();
this.play();
}else{
this.audio.pause();
// this.audio.pause();
this.stop();
}
},
stop(){