From e087c95c71a57632da2fdea91aa2b6b1f765032f Mon Sep 17 00:00:00 2001
From: Brian Fiete <bfiete@gmail.com>
Date: Thu, 4 Aug 2022 09:02:30 -0700
Subject: [PATCH] Added 'Show in Workspace Panel'

---
 IDE/src/IDEApp.bf | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/IDE/src/IDEApp.bf b/IDE/src/IDEApp.bf
index b2d5b830..22d90f59 100644
--- a/IDE/src/IDEApp.bf
+++ b/IDE/src/IDEApp.bf
@@ -6282,6 +6282,11 @@ namespace IDE
 								let process = scope SpawnedProcess();
 								process.Start(procInfo).IgnoreError();
 							});
+						item = menu.AddItem("Show in Workspace Panel");
+						item.mOnMenuItemSelected.Add(new (menu) =>
+							{
+								sourceViewPanel.SyncWithWorkspacePanel();
+							});
 						item = menu.AddItem("Close");
 						item.mOnMenuItemSelected.Add(new (menu) =>
 							{