From 3266854db81e16911ee3686640995d63ff6f1065 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Fri, 2 Mar 2018 15:38:37 +0100 Subject: [PATCH] Disable buttons when they should not be used --- src/app/webide/webide.component.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/app/webide/webide.component.html b/src/app/webide/webide.component.html index a144a1e..9ae5301 100644 --- a/src/app/webide/webide.component.html +++ b/src/app/webide/webide.component.html @@ -22,20 +22,20 @@