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