HubLighter - GitHub Code Highlighter
Highlight all selected code occurrences on any GitHub pull request page or source page
Rating: 5
|
Version: 1.2.1
|
Size: 58.39KiB
|
Language(s): English
|
mail
Rating history
Rating count & user count history
Similar extensions
| name | rating | # ratings | # users | categories | description | version | updated | |
|---|---|---|---|---|---|---|---|---|
Show Invisibles on Github | 5 | 5 | 120 | Developer Tools | Spaces or tabs? Keep your coding style consistent by making whitespace characters visible in all Github repositories. | 1.1.3 | September 7, 2017 | view details → |
Active forks | - | 0 | 5 | Workflow & Planning | Highlight active github forks! | 1.1 | January 11, 2021 | view details → |
I got you bro - BETA | 5 | 1 | 1 | Just for Fun | Preview of what the GitHub developer's page would have looked like, if he had done his job earlier. | 1.0 | January 31, 2024 | view details → |
Medium Plugin | - | 0 | 197 | Social Networking | Helpful Medium plugin for viewers | 1.2.1 | November 19, 2022 | view details → |
GitHub issues user icon | - | 0 | 22 | Workflow & Planning | An extension to show author icon to GitHub's issues and pull requests pages. | 0.1.5 | July 6, 2022 | view details → |
Github issue point counter | - | 0 | 4 | Developer Tools | A chrome extensions for counting Github issue point/estimate with a flexible options and customizations. | 0.1.0 | March 23, 2021 | view details → |
Pull Request Commit Notify | - | 0 | 7 | Workflow & Planning | New commit notify into github pull request page | 0.0.4 | May 7, 2023 | view details → |
GitHub PR Enhancements | - | 0 | 0 | Developer Tools | Improves the PR list page on GitHub with better indicators of PR status. | 1.0 | March 12, 2024 | view details → |
Tripster Life | 5 | 2 | 18 | Art & Design | Daily images for an upcoming trip or bucketlist | 0.04.03 | January 18, 2021 | view details → |
Github Pull Requests Approval | - | 0 | 0 | Tools | Streamline the GitHub pull request (PR) approval process with enhanced features. | 1.2 | May 13, 2024 | view details → |
PR2R | - | 0 | 8 | Developer Tools | Adds a button to GitHub Pull Request pages to create a Release from the current Pull Request | 1.3 | December 12, 2023 | view details → |
Cookie Tool | 5 | 1 | 40 | Developer Tools | Modify the domain name scope of all cookies with one click | 0.0.2 | August 27, 2019 | view details → |
Inclusive Code Comments | - | 0 | 19 | Developer Tools | Checks your comments anywhere on the web: GitHub or Azure DevOps! | 3.1.3 | June 7, 2024 | view details → |
Refined Gitlab By Canal+ | - | 0 | 204 | Developer Tools | Add useful features to the Gitlab interface by Canal+ | 1.10.0 | November 6, 2021 | view details → |
GitHub Diff Whitespace Ignore Button | 5 | 4 | 24 | Developer Tools | Adds an 'Ignore whitespace' button on any GitHub file diff page. | 0.1.0 | October 7, 2016 | view details → |
Line Clipper for GitHub | - | 0 | 52 | Workflow & Planning | Effortlessly copy file paths with their respective line numbers when working on GitHub. | 1.0.2 | May 6, 2020 | view details → |
nosey | 5 | 1 | 10 | Developer Tools | Extension to browse libraries/plugins on github while surfing through source code | 1.1.0 | July 11, 2017 | view details → |