htwkmooc/codeocean
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #35 from openHPI/statistics

Browse Source 
Statistics
This commit is contained in:
rteusner
2015-12-16 16:40:05 +01:00
parent 488fe57215 29d9cae1c4
commit 9bec415768
7 changed files with 79 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
app/assets/javascripts/submission_statistics.js
View File

@@ -55,6 +55,8 @@ $(function() {
var submissions = $('#data').data('submissions');
var files = $('#data').data('files');
var filetypes = $('#data').data('file-types');
var playButton = $('#play-button');
var playInterval = undefined;
editor = ace.edit('current-file');
editor.setShowPrintMargin(false);
@@ -88,6 +90,23 @@ $(function() {
showActiveFile();
});
playButton.on('click', function(event) {
if (playInterval == undefined) {
playInterval = setInterval(function() {
if ($.isController('exercises') && $('#timeline').isPresent() && slider.val() < submissions.length - 1) {
slider.val(parseInt(slider.val()) + 1);
slider.change()
} else {
clearInterval(playInterval);
}
}, 5000);
playButton.find('span.fa').removeClass('fa-play').addClass('fa-pause')
} else {
clearInterval(playInterval);
playButton.find('span.fa').removeClass('fa-pause').addClass('fa-play')
}
});
active_file = files[0][0]
initializeFileTree();
showActiveFile();