diff --git a/src/browser/assets/file-icons/seti.woff b/public/seti.woff similarity index 100% rename from src/browser/assets/file-icons/seti.woff rename to public/seti.woff diff --git a/scripts/update_seti_icons.sh b/scripts/update_seti_icons.sh index 8bf8597e4..9926342a5 100755 --- a/scripts/update_seti_icons.sh +++ b/scripts/update_seti_icons.sh @@ -3,13 +3,14 @@ set -euo pipefail ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" ASSET_DIR="$ROOT_DIR/src/browser/assets/file-icons" +FONT_PATH="$ROOT_DIR/public/seti.woff" mkdir -p "$ASSET_DIR" curl -sSL "https://raw.githubusercontent.com/microsoft/vscode/main/extensions/theme-seti/icons/seti.woff" \ - -o "$ASSET_DIR/seti.woff" + -o "$FONT_PATH" curl -sSL "https://raw.githubusercontent.com/microsoft/vscode/main/extensions/theme-seti/icons/vs-seti-icon-theme.json" \ -o "$ASSET_DIR/seti-icon-theme.json" -echo "Updated Seti icon assets in $ASSET_DIR" +echo "Updated Seti icon assets in $ASSET_DIR and font at $FONT_PATH" diff --git a/src/browser/styles/globals.css b/src/browser/styles/globals.css index 2e757a22d..1ff51fecf 100644 --- a/src/browser/styles/globals.css +++ b/src/browser/styles/globals.css @@ -12,7 +12,7 @@ @font-face { font-family: "Seti"; - src: url("../assets/file-icons/seti.woff") format("woff"); + src: url("/seti.woff") format("woff"); font-weight: normal; font-style: normal; font-display: swap;