devjgator
1 extension 464 users in all First published 19 Dec 2024
Extensions are grouped by the store's own publisher account ID, so a developer who uses several accounts appears on several pages. Live extensions come first, most users first.
| Extension | Category | Users | Rating | Updated | Status |
|---|---|---|---|---|---|
| Ctrl + Click Highlight Search Shortcut | Workflow & Planning | 464 | 4.00 | 21 Dec 2024 | Live |