fix: add schema.polling* to ISettings interface. (#1212)

graphql · Sep 15, 2020 · b7e6d4d · b7e6d4d
1 parent ea94160
commit b7e6d4d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/packages/graphql-playground-html/src/render-playground-page.ts b/packages/graphql-playground-html/src/render-playground-page.ts
@@ -27,6 +27,9 @@ export interface ISettings {
   'editor.fontSize': number
   'editor.fontFamily': string
   'request.credentials': string
+  'schema.polling.enable': boolean
+  'schema.polling.endpointFilter': string
+  'schema.polling.interval': number
 }
 
 export interface EditorColours {