Skip to content

feat(userscripts): add userscripts, port selection highlighter#13

Merged
denolfe merged 1 commit intomainfrom
feat/userscripts
May 28, 2025
Merged

feat(userscripts): add userscripts, port selection highlighter#13
denolfe merged 1 commit intomainfrom
feat/userscripts

Conversation

@denolfe
Copy link
Owner

@denolfe denolfe commented May 28, 2025

  • Create explicit userscripts directory, remove chrome directory
  • Port Selection Highlighter chrome extension to user script
  • Import other scripts

@denolfe denolfe merged commit 0efaa46 into main May 28, 2025
2 checks passed
@denolfe denolfe deleted the feat/userscripts branch May 28, 2025 14:40
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.

1 participant