GitHub Text Search for Chrome
GitHub Text Search: Add a Convenient Search Text Bar to GitHub Repo Pages
- Free
- 4.3
- V 0.9.7
GitHub Text Search: Add a Convenient Search Text Bar to GitHub Repo Pages
GitHub Text Search is a free Chrome add-on developed by alessandro.pischedda that enhances the functionality of GitHub repo pages by adding a convenient search text bar. This add-on allows users to easily search for specific text within the repository page, making it easier to find relevant information or code snippets.
One of the main features of GitHub Text Search is its ability to highlight matches on corresponding files. This makes it even easier for users to quickly identify and navigate to the specific sections or lines of code they are looking for. However, it's important to note that due to limitations with the GitHub API, this add-on does not currently support fork project pages and only works on the master branch.
To navigate through the matches, GitHub Text Search provides keyboard shortcuts. For Mac users, the shortcuts are shift + Right Arrow to move to the next match and shift + Left Arrow to move to the previous match. For other operating systems, the shortcuts are ctrl + Right Arrow and ctrl + Left Arrow, respectively.
With GitHub Text Search, users can now search for specific text within GitHub repo pages with ease, improving their productivity and efficiency when working with GitHub repositories.
GitHub Text Search for Chrome
- Free
- 4.3
- V 0.9.7
Top downloads
Winning Eleven 2012 APK Download v1.0.1
Explore a fun plug-in
Kinemaster for Pc - Download For Windows/Mac
Desktop video editing made accessible and efficient
▷ EPSON L3110 L3115 L3116 RESETTER 100% FREE
Epson printer reset tool extension
Google Gemini
Google Gemini Chrome Extension Overview
Netmirror Extension
Efficient HTTP Header Management with Netmirror Extension