@@ -148,6 +148,7 @@ function debuggerInit(debugModule, runtime) {
149 function pauseProgram() {
149 function pauseProgram() {
150 debugModule.setPaused(true);
150 debugModule.setPaused(true);
151+ eventCounter = debugModule.getRecordedEventsLength();
153 function continueProgram() {
154 function continueProgram() {
@@ -183,7 +184,7 @@ function debuggerInit(debugModule, runtime) {
185 function getMaxSteps() {
186 function getMaxSteps() {
186− return debugModule.getRecordedEventsLength() - 1;
187+ return debugModule.getRecordedEventsLength();
189 function doPlayback(eventList) {
190 function doPlayback(eventList) {