minor fixes

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

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/

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");
   }