From fad8beb7c0a75650d124362e24d140955b0c47cb Mon Sep 17 00:00:00 2001
From: Robert Dyer <rdyer@unl.edu>
Date: Sat, 18 Nov 2023 11:15:18 -0600
Subject: [PATCH] rename workspace

---
 .project                                                    | 4 ++--
 ...-workspace => boa-compiler-2021-08-Kotlin.code-workspace | 6 ++++--
 2 files changed, 6 insertions(+), 4 deletions(-)
 rename boa-master.code-workspace => boa-compiler-2021-08-Kotlin.code-workspace (83%)

diff --git a/.project b/.project
index 5d1a63b9f..9b6da831f 100644
--- a/.project
+++ b/.project
@@ -16,12 +16,12 @@
 	</natures>
 	<filteredResources>
 		<filter>
-			<id>1625891463658</id>
+			<id>1700327405183</id>
 			<name></name>
 			<type>30</type>
 			<matcher>
 				<id>org.eclipse.core.resources.regexFilterMatcher</id>
-				<arguments>node_modules|.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
+				<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
 			</matcher>
 		</filter>
 	</filteredResources>
diff --git a/boa-master.code-workspace b/boa-compiler-2021-08-Kotlin.code-workspace
similarity index 83%
rename from boa-master.code-workspace
rename to boa-compiler-2021-08-Kotlin.code-workspace
index 32380005c..81075a0e5 100644
--- a/boa-master.code-workspace
+++ b/boa-compiler-2021-08-Kotlin.code-workspace
@@ -21,8 +21,10 @@
 			"statusBar.foreground": "#e7e7e7",
 			"activityBar.activeBackground": "#bb0000",
 			"activityBar.activeBorder": "#002000",
-			"statusBar.border": "#880000",
-			"titleBar.border": "#880000"
+			"commandCenter.border": "#e7e7e799",
+			"sash.hoverBorder": "#bb0000",
+			"statusBarItem.remoteBackground": "#880000",
+			"statusBarItem.remoteForeground": "#e7e7e7"
 		}
 	},
 	"extensions": {