rename workspace

boalang · Nov 18, 2023 · fad8beb · fad8beb
1 parent d4ecfc7
commit fad8beb
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git 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 → boa-compiler-2021-08-Kotlin.code-workspace b/boa-master.code-workspace → 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": {