From a50b8e134091281288329be9407153f0f4e6e3ef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Mon, 12 Feb 2018 16:42:43 +0100 Subject: [PATCH] Implement frontend reload command (triggers webide file request) --- src/app/webide/webide.component.ts | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/app/webide/webide.component.ts b/src/app/webide/webide.component.ts index f656f6d..a6abcfd 100644 --- a/src/app/webide/webide.component.ts +++ b/src/app/webide/webide.component.ts @@ -30,7 +30,9 @@ export class WebideComponent implements OnInit { this.code = event.data.content; this.language = event.data.language; this.files = event.data.files; + if (event.data.command === 'write') { this.saveButtonState = 'SAVED'; } + if (event.data.command === 'reload') { this.requestCode(); } }); this.requestCode(); }