From 94d87bb91ac955278231b3a6ef92630c1ce4c9fc Mon Sep 17 00:00:00 2001
From: Steven Hugg <hugg@fasterlight.com>
Date: Thu, 17 Jan 2019 13:04:42 -0500
Subject: [PATCH] minor fixes

---
 doc/notes.txt         | 1 +
 scripts/sync-tools.sh | 1 +
 src/ui.ts             | 2 +-
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/notes.txt b/doc/notes.txt
index 96cbea7f..14487f51 100644
--- a/doc/notes.txt
+++ b/doc/notes.txt
@@ -90,6 +90,7 @@ TODO:
 - HTTPS warning
 - Safari: scope doesn't show while CRT in use
 - recording video indicator
+- verilog: support VGA/multisync monitor?
 
 
 WEB WORKER FORMAT
diff --git a/scripts/sync-tools.sh b/scripts/sync-tools.sh
index 430535a9..253d6ff8 100755
--- a/scripts/sync-tools.sh
+++ b/scripts/sync-tools.sh
@@ -4,4 +4,5 @@
 VERSION=`git tag | tail -1`
 DESTPATH=$RSYNC_PATH/
 git archive --format tar.gz --prefix 8bitworkshop- HEAD tools/ > release/8bitworkshop-tools.tgz
+git archive --format zip --prefix 8bitworkshop- HEAD tools/ > release/8bitworkshop-tools.zip
 rsync --stats -rpilvz --chmod=a+rx -e "ssh -p 2222" ./release  $DESTPATH/
diff --git a/src/ui.ts b/src/ui.ts
index 4abd06d8..01f3f78e 100644
--- a/src/ui.ts
+++ b/src/ui.ts
@@ -708,7 +708,7 @@ function setupBreakpoint(btnid? : string) {
 }
 
 function _pause() {
-  if (platform.isRunning()) {
+  if (platform && platform.isRunning()) {
     platform.pause();
     console.log("Paused");
   }