|
@ -7,7 +7,6 @@ var currentSelectedState = null; |
|
|
var jumpStartingPoint = null; |
|
|
var jumpStartingPoint = null; |
|
|
function init() |
|
|
function init() |
|
|
{ |
|
|
{ |
|
|
console.log('popopop'); |
|
|
|
|
|
if (debugStates === undefined) |
|
|
if (debugStates === undefined) |
|
|
return; |
|
|
return; |
|
|
|
|
|
|
|
@ -16,7 +15,6 @@ function init() |
|
|
statesList.model = humanReadableExecutionCode; |
|
|
statesList.model = humanReadableExecutionCode; |
|
|
currentSelectedState = 0; |
|
|
currentSelectedState = 0; |
|
|
select(currentSelectedState); |
|
|
select(currentSelectedState); |
|
|
//displayReturnValue();
|
|
|
|
|
|
|
|
|
|
|
|
jumpoutbackaction.enabled(false); |
|
|
jumpoutbackaction.enabled(false); |
|
|
jumpintobackaction.enabled(false); |
|
|
jumpintobackaction.enabled(false); |
|
@ -30,7 +28,6 @@ function moveSelection(incr) |
|
|
{ |
|
|
{ |
|
|
if (currentSelectedState + incr < debugStates.length) |
|
|
if (currentSelectedState + incr < debugStates.length) |
|
|
select(currentSelectedState + incr); |
|
|
select(currentSelectedState + incr); |
|
|
|
|
|
|
|
|
statesSlider.value = currentSelectedState; |
|
|
statesSlider.value = currentSelectedState; |
|
|
} |
|
|
} |
|
|
} |
|
|
} |
|
|