From c7eda5198b41822e500bc291d76dd9fc1b2a7a36 Mon Sep 17 00:00:00 2001 From: Niko PLP Date: Mon, 5 Aug 2024 02:05:32 +0300 Subject: [PATCH] toggle live edit --- ng-app/src/apps/CodeMirrorEditor.svelte | 21 +++++++++-- ng-app/src/lib/FullLayout.svelte | 2 +- ng-app/src/store.ts | 10 ++++- ng-app/src/tab.ts | 49 ++++++++++++++++--------- ng-net/src/actors/app/request.rs | 4 +- ng-sdk-js/src/lib.rs | 2 +- ng-verifier/src/verifier.rs | 20 +++++----- 7 files changed, 70 insertions(+), 38 deletions(-) diff --git a/ng-app/src/apps/CodeMirrorEditor.svelte b/ng-app/src/apps/CodeMirrorEditor.svelte index ad690f2..d6a0d51 100644 --- a/ng-app/src/apps/CodeMirrorEditor.svelte +++ b/ng-app/src/apps/CodeMirrorEditor.svelte @@ -12,13 +12,17 @@