vsx-registry: add hint to fetching extensions error

Clarifies the error by suggesting it could be caused by network configuration issues.

Contributed by STMicroelectronics
Signed-off-by: Samuel BERG <[email protected]>

Author: SamuelBergSTM

CHANGELOG.md

@@ -6,6 +6,8 @@
 ## v1.41.0 -
 - [application-package] Quit Electron app when back end fails to start [#12778](https://github.com/eclipse-theia/theia/pull/12778) - Contributed on behalf of STMicroelectronics.
 - [vscode] added support for tree checkbox api [#12836](https://github.com/eclipse-theia/theia/pull/12836) - Contributed on behalf of STMicroelectronics
+- [vsx-registry] added a hint to extension fetching errors [#placeholder](https://github.com/eclipse-theia/theia/pull/placeholder) - Contributed by STMicroelectronics
+
 ## v1.40.0 - 07/27/2023
 
 - [application-package] bumped the default supported VS Code API from `1.78.0` to `1.79.0` [#12764](https://github.com/eclipse-theia/theia/pull/12764) - Contributed on behalf of STMicroelectronics.

packages/core/i18n/nls.json

@@ -430,6 +430,7 @@
     "vsx-registry": {
       "downloadCount": "Download count: {0}",
       "errorFetching": "Error fetching extensions.",
+      "errorFetchingHint": "This could be caused by network configuration issues.",
       "failedInstallingVSIX": "Failed to install {0} from VSIX.",
       "invalidVSIX": "The selected file is not a valid \"*.vsix\" plugin.",
       "license": "License: {0}",

packages/vsx-registry/src/browser/vsx-extensions-widget.tsx

@@ -143,9 +143,10 @@ export class VSXExtensionsWidget extends SourceTreeWidget implements BadgeWidget
             const searchError = this.extensionsSource.getModel().searchError;
             if (!!searchError) {
                 const message = nls.localize('theia/vsx-registry/errorFetching', 'Error fetching extensions.');
+                const hint = nls.localize('theia/vsx-registry/errorFetchingHint', 'This could be caused by network configuration issues.');
                 return <AlertMessage
                     type='ERROR'
-                    header={`${message} ${searchError}`}
+                    header={`${message} ${searchError} ${hint}`}
                 />;
             }
         }