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

etylermoss · abernix · commit acf08a69794b · 2021-01-29T12:29:15.000Z
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 {

Original file line number	Diff line number	Diff line change
`@@ -27,6 +27,9 @@ export interface ISettings {`
`27`	`27`	`'editor.fontSize': number`
`28`	`28`	`'editor.fontFamily': string`
`29`	`29`	`'request.credentials': string`
	`30`	`+ 'schema.polling.enable': boolean`
	`31`	`+ 'schema.polling.endpointFilter': string`
	`32`	`+ 'schema.polling.interval': number`
`30`	`33`	`}`
`31`	`34`
`32`	`35`	`export interface EditorColours {`