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

Increase time for intervention and RfC tooltip

Browse Source
This commit is contained in:
Sebastian Serth
2022-04-06 19:50:25 +02:00
parent 393c66918a
commit d1d628a090
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
app/assets/javascripts/editor/editor.js.erb
View File

@ -17,7 +17,7 @@ var CodeOceanEditor = {
//Request-For-Comments-Configuration //Request-For-Comments-Configuration
REQUEST_FOR_COMMENTS_DELAY: 0, REQUEST_FOR_COMMENTS_DELAY: 0,
REQUEST_TOOLTIP_TIME: 5000, REQUEST_TOOLTIP_TIME: 5000,
REQUEST_TOOLTIP_DELAY: 10 * 60 * 1000, REQUEST_TOOLTIP_DELAY: 15 * 60 * 1000,
editors: [], editors: [],
editor_for_file: new Map(), editor_for_file: new Map(),
@ -835,11 +835,7 @@ var CodeOceanEditor = {
const percentile75 = data['working_time_75_percentile']; const percentile75 = data['working_time_75_percentile'];
const accumulatedWorkTimeUser = data['working_time_accumulated']; const accumulatedWorkTimeUser = data['working_time_accumulated'];
let minTimeIntervention = 10 * 60 * 1000; let minTimeIntervention = 20 * 60 * 1000;
if ($('#editor').data('exercise-id') === 909) {
// 30 minutes for our large Map exercise
minTimeIntervention = 30 * 60 * 1000;
}
let timeUntilIntervention; let timeUntilIntervention;
if ((accumulatedWorkTimeUser - percentile75) > 0) { if ((accumulatedWorkTimeUser - percentile75) > 0) {