Add server polling

This commit is contained in:
balazs
2019-01-22 13:57:43 +01:00
parent e0025e9451
commit 0269512b76
3 changed files with 51 additions and 19 deletions

View File

@ -36,7 +36,7 @@ export const config = {
'FAILED': 'Deployment failed. Retry'
},
showDeployButton: true,
reloadIframeOnDeploy: false,
reloadIframeOnDeploy: true,
showConsoleOnDeploy: true,
autoDetectFileLanguage: true,
showMiniMap: false