TabTimerState

SketchSystems.spec

TabTimerState
  NotStarted
    tabActivated -> SetTimer
  TabTimerTicking
    tabDeactivated -> TimerPaused
    timerExpired -> TimerWaitingToReset
    timerReset -> TabTimerTicking
    deactivateTimers -> NotStarted
  TimerPaused
    tabActivated -> TabTimerTicking
    timerReset -> TabTimerTicking
    deactivateTimers -> NotStarted
  TimerWaitingToReset
    requestTimerReset -> SetTimer
    deactivateTimers -> NotStarted
  SetTimer
    timerSet -> TabTimerTicking
    tabDeactivated -> TimerPaused
    

SketchSystems_prototype.js

function render(model){
  let current_state_name = model.active_states[0].name;
  return $("h1",
           {style: {color: "darkBlue"}},
           `The current state is: ${current_state_name}`);
}