From 6d5b83f23f1e7c1fbd32200738b692ec7b17cf39 Mon Sep 17 00:00:00 2001
From: BennyBot <48661356+BennyBot@users.noreply.github.com>
Date: Fri, 2 Feb 2024 16:25:14 -0500
Subject: [PATCH] =?UTF-8?q?=F0=9F=90=9B=20Only=20display=20PROS=20buttons?=
 =?UTF-8?q?=20if=20we=20are=20in=20a=20PROS=20Project=20#208?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 package.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/package.json b/package.json
index 5478c69..6e515a5 100644
--- a/package.json
+++ b/package.json
@@ -248,17 +248,17 @@
     "menus": {
       "editor/title": [
         {
-          "when": "true",
+          "when": "pros.isPROSProject",
           "command": "pros.build&upload",
           "group": "navigation@1"
         },
         {
-          "when": "true",
+          "when": "pros.isPROSProject",
           "command": "pros.run",
           "group": "navigation@1"
         },
         {
-          "when": "true",
+          "when": "pros.isPROSProject",
           "command": "pros.stop",
           "group": "navigation@1"
         }