Skip to content

fix third party ressources downloading#347

Merged
fleandrei merged 1 commit intomainfrom
rm_extern_style_font_dep
Jan 22, 2026
Merged

fix third party ressources downloading#347
fleandrei merged 1 commit intomainfrom
rm_extern_style_font_dep

Conversation

@fleandrei
Copy link
Contributor

No description provided.

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This pull request aims to fix third-party resource downloading by self-hosting the IBM Plex Mono font instead of loading it from Google Fonts CDN. The PR removes external font references from HTML files and adds a local font file, while also updating various npm dependencies.

Changes:

  • Self-hosted IBM Plex Mono font file added to server pages
  • External Google Fonts and cdnfonts.com references removed from HTML files
  • Font loading in injectedStyle.css changed from @import to @font-face with local path
  • Multiple npm package dependencies updated to newer versions

Reviewed changes

Copilot reviewed 3 out of 6 changed files in this pull request and generated 1 comment.

Show a summary per file
File Description
server/pages/public/fonts/IBMPlexMono-Regular.woff2 Added self-hosted IBM Plex Mono Regular font file
server/pages/package-lock.json Updated multiple npm dependencies including eslint, vite, lodash, and related packages
server/pages/index.html Removed external font preconnect and stylesheet links to Google Fonts and cdnfonts.com
server/int/api/resources/injectedStyle.css Replaced Google Fonts @import with @font-face declaration using local font path
plugin/home/package-lock.json Updated lodash dependency version
plugin/home/index.html Removed external font links and icon library reference
Files not reviewed (2)
  • plugin/home/package-lock.json: Language not supported
  • server/pages/package-lock.json: Language not supported

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@fleandrei fleandrei merged commit 85ceed9 into main Jan 22, 2026
21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants