Implement survey notification (#1035)

arduino-ide-extension/src/browser/arduino-preferences.ts

@@ -174,6 +174,14 @@ export const ArduinoConfigSchema: PreferenceSchema = {
       ),
       default: 'https://auth.arduino.cc/login#/register',
     },
+    'arduino.survey.notification': {
+      type: 'boolean',
+      description: nls.localize(
+        'arduino/preferences/survey.notification',
+        'True if users should be notified if a survey is available. True by default.'
+      ),
+      default: true,
+    },
   },
 };
 
@@ -198,6 +206,7 @@ export interface ArduinoConfiguration {
   'arduino.auth.domain': string;
   'arduino.auth.audience': string;
   'arduino.auth.registerUri': string;
+  'arduino.survey.notification': boolean;
 }
 
 export const ArduinoPreferences = Symbol('ArduinoPreferences');