From 7f65f705c8a8a78b6e276834398a56c17c8b528a Mon Sep 17 00:00:00 2001 From: Peli Date: Mon, 6 Jan 2020 16:41:53 -0800 Subject: [PATCH] enable github editor --- pxtarget.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pxtarget.json b/pxtarget.json index 30d94280..4bac0f26 100644 --- a/pxtarget.json +++ b/pxtarget.json @@ -201,7 +201,7 @@ "qrCode": true, "shareFinishedTutorials": true, "nameProjectFirst": true, - "alwaysGithubItem": true, + "githubEditor": true, "enableTrace": true }, "ignoreDocsErrors": true,