From 61ffe2ae79069e85deab8e35ac76b0b21aebd845 Mon Sep 17 00:00:00 2001 From: Steven Hugg Date: Thu, 16 May 2019 10:08:09 -0400 Subject: [PATCH] added "Delete Local Repo" option --- doc/notes.txt | 1 - index.html | 1 + src/platform/nes.ts | 2 +- src/ui.ts | 38 ++++++++++++++++++++++++++++++++++++-- 4 files changed, 38 insertions(+), 4 deletions(-) diff --git a/doc/notes.txt b/doc/notes.txt index 1eca3516..2f0bc895 100644 --- a/doc/notes.txt +++ b/doc/notes.txt @@ -147,7 +147,6 @@ TODO: - test edge/failure cases - what to do about included files? - what if files already open in editor - - un-bind from repo? delete repo? - can published files retain path? - what if import interrupted and partial files? - CORS for some blobs? diff --git a/index.html b/index.html index ddf95771..bf63fac0 100644 --- a/index.html +++ b/index.html @@ -69,6 +69,7 @@ if (window.location.host.endsWith('8bitworkshop.com')) {