The extension registry (extensions/registry/registry.json), which is approximately 1.5MB in size, takes noticeable time to download, causing delays in the user experience. Users have reported frustration with this delay, particularly when opening the extension manager for the first time.
To address this
we have packaged a local copy of the registry in the src/extensions/registry/ folder, to load extension manager instantly on the first launch, even if the online registry is still downloading.
Behavior on First Launch:
The local copy of the registry is loaded to display extensions instantly. While this local registry may be outdated if the installer is old, it provides immediate functionality.
Updating the Registry:
When the user opens the extension manager, the application downloads the latest registry in the background.
A visual indicator in the status bar informs the user about the ongoing update. Once downloaded, the updated registry replaces the outdated one, ensuring users see the most recent extensions.
Problem
The extension registry (
extensions/registry/registry.json
), which is approximately 1.5MB in size, takes noticeable time to download, causing delays in the user experience. Users have reported frustration with this delay, particularly when opening the extension manager for the first time.To address this
we have packaged a local copy of the registry in the
src/extensions/registry/
folder, to load extension manager instantly on the first launch, even if the online registry is still downloading.Behavior on First Launch:
Updating the Registry: