From f69a0d5289fc748a496286c4b74274eb8ca06c56 Mon Sep 17 00:00:00 2001
From: Peli de Halleux <pelikhan@users.noreply.github.com>
Date: Wed, 19 Sep 2018 09:50:21 -0700
Subject: [PATCH] enable save in menu

---
 pxtarget.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pxtarget.json b/pxtarget.json
index 463b276a..9e82b8d5 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -139,6 +139,7 @@
         "invertedToolbox": false,
         "coloredToolbox": true,
         "hasAudio": true,
+        "saveInMenu": true,
         "usbHelp": [],
         "extendEditor": true,
         "extendFieldEditors": true,