128
128
var exercisediv = document.getElementById(exerciseid);
129
129
var exercisebox = exercisediv.getElementsByTagName("textarea")[0];
130
130
var resettextbox = document.getElementById("input_resettext_" + exerciseid);
134
136
/* savetimers is a dict mapping exerciseIDs to timer IDs.