Add local Nerd fonts, remove About button, fix tauriIpcAvailable, update build settings

web/index.html

@@ -77,8 +77,7 @@
         font-family: 'JetBrainsMono Nerd Font';
         src:
           local('JetBrainsMono Nerd Font'),
-          url('https://cdn.jsdelivr.net/gh/mshaugh/nerdfont-webfonts@v3.3.0/build/fonts/JetBrainsMonoNerdFont-Regular.woff2') format('woff2'),
-          url('https://cdn.jsdelivr.net/gh/mshaugh/nerdfont-webfonts@v3.3.0/build/fonts/JetBrainsMonoNerdFont-Regular.woff') format('woff');
+          url('/fonts/JetBrainsMonoNerdFont-Regular.woff2') format('woff2');
         font-weight: normal;
         font-style: normal;
         font-display: swap;
@@ -89,8 +88,7 @@
         font-family: 'FiraCode Nerd Font';
         src:
           local('FiraCode Nerd Font'),
-          url('https://cdn.jsdelivr.net/gh/mshaugh/nerdfont-webfonts@v3.3.0/build/fonts/FiraCodeNerdFont-Regular.woff2') format('woff2'),
-          url('https://cdn.jsdelivr.net/gh/mshaugh/nerdfont-webfonts@v3.3.0/build/fonts/FiraCodeNerdFont-Regular.woff') format('woff');
+          url('/fonts/FiraCodeNerdFont-Regular.woff2') format('woff2');
         font-weight: normal;
         font-style: normal;
         font-display: swap;

web/package.json

@@ -21,7 +21,7 @@
     "lint": "eslint \"./src/**/*.{ts,tsx}\" --config ../eslint.config.js",
     "start": "node bin/cli.js serve",
     "embed:static": "node embed-static.js",
-    "build:exe": "vite build && node embed-static.js && bun build entry-singlefile.js --compile --outfile XCOpenCodeWeb.exe"
+    "build:exe": "vite build && node embed-static.js && bun build entry-singlefile.js --compile --outfile XCOpenCodeWeb.exe --windows.console=hide && node -e \"require('fs').readdirSync('.').filter(f => f.endsWith('.bun-build')).forEach(f => require('fs').unlinkSync(f))\""
   },
   "dependencies": {
     "@codemirror/lang-cpp": "^6.0.3",