Rename config.ide.reloadIframeOnDeploy.. to match new options

This commit is contained in:
Kristóf Tóth
2018-05-27 19:10:22 +02:00
parent 3af98a0c19
commit ce192891d8
2 changed files with 2 additions and 2 deletions

View File

@ -50,7 +50,7 @@ export class DashboardComponent implements OnInit, OnDestroy {
this.deploymentNotificationSubscription = this.deploymentNotificationService.deploying.subscribe(
(deploying) => {
this.deploying = deploying;
if (!deploying && config.ide.reloadIframeOnDeployButtonClick) {
if (!deploying && config.ide.reloadIframeOnDeploy) {
this.reloadIframe();
}
});