git.fiddlerwoaroof.com
files/api.js
a5523e32
 export function selectPackage(dispatchers, pkg) {
d83dc2bd
   fetch(`/packages/${R.replace("/", ":", pkg)}`)
a5523e32
     .then((v) => v.json())
     .then((it) => dispatchers.updateSymbols(pkg, it));
 }
 
 export function updatePackages(dispatchers) {
   fetch("/packages")
     .then((v) => v.json())
     .then((it) => dispatchers.updatePackages(it));
 }