Installing an Extension*

SketchSystems.spec

Installing an Extension*
  # admin action
  reset state chart -> Store
  # admin action
  finish installing -> Finished Installing?
  Store*
    click extension -> Cover Page
    click manage -> Installed List
  Cover Page&
    not installed?*
      click install -> Finished Installing?
    already installed?
      click manage -> Installed List
      
  Finished Installing?
    has generic pane? -> Generic Pane Extension
    has file renderer? -> File Renderer Extension
    has background process? -> Background Extension
  # The extension pane will render one of four states depending on its type, and whether it has a settings page.
  Extension Pane
    Generic Pane Extension
    File Renderer Extension
    # By default, background processes would open the cover page after installing.
    # If it has settings, that will open by default.
    Background Extension
      has settings? -> Extension Settings
      has no settings? -> Cover Page
  
Managing Extensions
  Installed List*
    click extension -> Cover Page
    click settings -> Extension Settings
  Extension Settings

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}`);
}