From 27d8f9df0fa3903548cc48fa5cc65e2b8969ca18 Mon Sep 17 00:00:00 2001
From: Brian Fiete <bfiete@gmail.com>
Date: Mon, 20 Apr 2020 14:54:50 -0700
Subject: [PATCH] Fixed crash when text is selected and item gets moused over

---
 IDE/src/ui/NavigationBar.bf | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/IDE/src/ui/NavigationBar.bf b/IDE/src/ui/NavigationBar.bf
index b0a39660..2e94743d 100644
--- a/IDE/src/ui/NavigationBar.bf
+++ b/IDE/src/ui/NavigationBar.bf
@@ -188,14 +188,14 @@ namespace IDE.ui
             mFilterString = null;
         }
 
-		bool mShowingDropdown;
+		bool mIgnoreShowDropdown;
 
         public override MenuWidget ShowDropdown()
         {
-			if (mShowingDropdown)
+			if (mIgnoreShowDropdown)
 				return null;
-			mShowingDropdown = true;
-			defer { mShowingDropdown = false; }
+			mIgnoreShowDropdown = true;
+			defer { mIgnoreShowDropdown = false; }
 
 			/*var stopWatch = scope Stopwatch();
 			stopWatch.Start();*/
@@ -246,7 +246,12 @@ namespace IDE.ui
 		void SelectionChanged(int selIdx)
 		{
 			if (mEditWidget.mEditWidgetContent.HasSelection())
+			{
+				bool prevIgnoreShowDropdown = mIgnoreShowDropdown;
+				mIgnoreShowDropdown = true;
 				mEditWidget.SetText("");
+				mIgnoreShowDropdown = prevIgnoreShowDropdown;
+			}
 		}
 
         public override void MenuClosed()