add remoteExtensionTips

aeschli · aeschli · commit 05ba01fc873f · 2020-02-19T17:14:53.000+01:00
diff --git a/src/vs/platform/product/common/productService.ts b/src/vs/platform/product/common/productService.ts
@@ -49,6 +49,7 @@ export interface IProductConfiguration {
 	readonly extensionTips?: { [id: string]: string; };
 	readonly extensionImportantTips?: { [id: string]: { name: string; pattern: string; isExtensionPack?: boolean }; };
 	readonly exeBasedExtensionTips?: { [id: string]: IExeBasedExtensionTip; };
+	readonly remoteExtensionTips?: { [remoteName: string]: IRemoteExtensionTip; };
 	readonly extensionKeywords?: { [extension: string]: readonly string[]; };
 	readonly keymapExtensionTips?: readonly string[];
 
@@ -112,6 +113,11 @@ export interface IExeBasedExtensionTip {
 	exeFriendlyName?: string;
 }
 
+export interface IRemoteExtensionTip {
+	friendlyName: string;
+	extensionId: string;
+}
+
 export interface ISurveyData {
 	surveyId: string;
 	surveyUrl: string;
