From 7d145e95aed7f55999cde84cef8158fc141700bd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Wed, 21 Mar 2018 16:44:51 +0100 Subject: [PATCH] Make webide deploy button optional --- src/app/config.ts | 3 ++- src/app/webide/webide.component.html | 3 ++- src/app/webide/webide.component.ts | 1 + 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/src/app/config.ts b/src/app/config.ts index 658a2ba..713d03c 100644 --- a/src/app/config.ts +++ b/src/app/config.ts @@ -8,7 +8,8 @@ export const config = { 'autoSaveInterval': 1000, 'defaultCode': 'Loading your file...', 'defaultLanguage': 'text', - 'deployProcessName': 'login' + 'deployProcessName': 'login', + 'showDeployButton': true }, terminal: { 'route': 'shell' diff --git a/src/app/webide/webide.component.html b/src/app/webide/webide.component.html index 48437f8..937d2c1 100644 --- a/src/app/webide/webide.component.html +++ b/src/app/webide/webide.component.html @@ -14,7 +14,8 @@
-