daveduthie · June 5, 2023 15:20
diff --git a/is_deleted b/is_deleted
 yep
diff --git a/SketchSystems.spec b/SketchSystems.spec
 QT auth&
  Auth0
    A0Nil
      HaveLocalCreds -> A0LoggedIn
      HaveUser -> A0LoggedIn
    A0LoggedIn
      Utwig401 -> A0Nil
    # no way to get here?
    A0LoggedOut
      HaveUser -> A0LoggedIn
  Firebase
    FBNil
      Init -> FBPending
      HaveUser -> FBLoggedIn
    FBPending
      NoUser -> FBLoggedOut
      HaveUser -> FBLoggedIn
    FBLoggedIn
      ChangedUser -> FBLoggedIn
      RedundantLogin -> FBLoggedIn
      Logout -> FBNil
      UserMismatch -> FBLoggedOut
    FBLoggedOut
      GotCustomToken -> FBLoggedIn
      HaveUser -> FBLoggedIn
diff --git a/SketchSystems_prototype.js b/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}`);
 }
	function render(model){
	let current_state_name = model.active_states[0].name;
	return $("h1",
	{style: {color: "darkBlue"}},
	`The current state is: ${current_state_name}`);
	}