chore: update README, improve text filter, add default GUI port (#98)

* chore: update README, improve text filter, add default GUI port

* chore: disable ci

* chore: remove CI flag from README

Author: rohanku

.github/workflows/ci.yml

@@ -1,11 +1,6 @@
 name: ci
 
 on:
-  push:
-    branches:
-      - main
-  pull_request:
-
 env:
   CARGO_TERM_COLOR: always
 

README.md

@@ -1,6 +1,5 @@
 # Argon
 
-[![ci](https://github.com/ucb-substrate/argon/actions/workflows/ci.yml/badge.svg)](https://github.com/ucb-substrate/argon/actions/workflows/ci.yml)
 [![License](https://img.shields.io/badge/License-BSD_3--Clause-blue.svg)](https://opensource.org/licenses/BSD-3-Clause)
 
 Argon is a programming language for writing constraint-based integrated circuit layout generators.

core/gui/src/editor/toolbars.rs

@@ -178,7 +178,8 @@ impl Render for LayerSideBar {
                             .filter(|layer| {
                                 layer
                                     .name
-                                    .contains(self.name_filter.read(cx).content.as_ref())
+                                    .to_lowercase()
+                                    .contains(&self.name_filter.read(cx).content.to_lowercase())
                                     && (!self.state.read(cx).used_filter || layer.used)
                             })
                             .map(|layer| {
@@ -284,7 +285,8 @@ impl HierarchySideBar {
         let expanded = self.expanded_scopes.contains(&scope_path);
         if scope_state
             .name
-            .contains(self.name_filter.read(cx).content.as_ref())
+            .to_lowercase()
+            .contains(&self.name_filter.read(cx).content.to_lowercase())
         {
             scopes.push(
                 div()

core/gui/src/rpc.rs

@@ -49,9 +49,16 @@ impl SyncGuiToLspClient {
         let (tx, mut rx) = mpsc::channel(1);
         let mut listener = self.app.background_executor().block(
             async {
-                tarpc::serde_transport::tcp::listen((Ipv4Addr::LOCALHOST, 0), Json::default)
-                    .await
-                    .unwrap()
+                if let Ok(listener) =
+                    tarpc::serde_transport::tcp::listen((Ipv4Addr::LOCALHOST, 12346), Json::default)
+                        .await
+                {
+                    listener
+                } else {
+                    tarpc::serde_transport::tcp::listen((Ipv4Addr::LOCALHOST, 0), Json::default)
+                        .await
+                        .unwrap()
+                }
             }
             .compat(),
         );

plugins/vscode/package.json

@@ -50,7 +50,6 @@
         "watch": "tsc -b -w",
         "lint": "eslint",
         "postinstall": "cd client && npm install && cd ..",
-        "test": "sh ./scripts/e2e.sh"
     },
     "devDependencies": {
         "@eslint/js": "^9.13.0",