Side panel with some useful tools for GitHub.

Latest Version

Version
0.5
Update
January 4, 2025
Size
33.33KiB
Developer
Category
Users
0
Rating
0 ★
Manifest Version
3
Web Store Status
Languages Support
English
See more
Permissions
SidePanel
Tabs
See more

GitHub Tools Extension

GitHub Tools Chrome Extension

This Chrome extension adds a side panel with some useful tools for GitHub:

GENERAL
- Hide and show \"stupid\" tooltips (default: hide)
(Some UI elements on GitHub pop up tooltips that annoyingly get in the way of other UI elements nearby.)

DIFF VIEWS
- Collapse and expand all files
- Show only additions, only deletions, or both
- Hide and show comments

MERMAID VIEWS
- Hide and show size/pan boxes in Mermaid views (default: hide)
(Quite often they get in the way of diagrams...)
Read more

Source Manifest.json

{"update_url": "https://clients2.google.com/service/update2/crx", "manifest_version": 3, "name": "GitHub Tools", "version": "0.5", "description": "Side panel with some useful tools for GitHub.", "background": { "service_worker": "githubtools-serviceworker.js" }, "action": { "default_title": "Click to open panel" }, "permissions": ["sidePanel", "tabs"], "commands": { "_execute_action": { "suggested_key": { "default": "Ctrl+B", "mac": "Command+B" }, "description": "Open GitHub Tools side panel" } }, "content_scripts": [ { "matches": [ "https://github.com/*" ], "all_frames": true, "world": "ISOLATED", "js": [ "githubtools-contentscript.js" ] }, { "matches": [ "https://viewscreen.githubusercontent.com/markdown/mermaid?*" ], "all_frames": true, "world": "ISOLATED", "js": [ "githubtools-mermaid-iframe-contentscript.js" ] } ], "icons": { "16": "images/icon-16.png", "48": "images/icon-48.png", "128": "images/icon-128.png" }}
Read more

How to download and manually install GitHub Tools extension

Looking for a way to install GitHub Tools extensions, you can search for them in the Chrome Web Store, clicking the "Add to Chrome" button, and following the straightforward process.

However, you may need to install GitHub Tools extensions manually, this article outlines two simple methods to effortlessly install GitHub Tools extensions, whether they come as unpacked folders in compressed formats like .zip or as .crx files.

Method 1: Download GitHub Tools extension and manually install through Drag &Drop

If you ever need to manually install a GitHub Tools extension, don't worry, it's a simple process. Just follow these easy steps, and you will have your extension ready to use in no time.

Step 1: Download the GitHub Tools Extension by clicking the "Download CRX" button on the website.

Look for the GitHub Tools extension you wish to install. Go to the website and download the GitHub Tools extension package, which is usually a .CRX file and comes in a zipped file. Here ".crx" file is the format for GitHub Tools extension that contains all the data.

Step 2: Extract &Arrange Files

Once the file is downloaded, extract that file into its own folder. Similarly, give that extension files a permanent home. In other words, keep it in a folder that you don't accidentally delete it because these files will be needed to make that extension work.

Step 3: Go to the Chrome Extensions Page

Open Google Chrome and in the address bar, type chrome://extensions; it will open the Google Chrome extensions page. Make sure that "My extensions" is selected in the sidebar.

Step 4: Drag and Drop the Extension

Now, go to the folder where you extracted the GitHub Tools extension and drag &drop the extension file from there anywhere onto the extension page within Google Chrome.

Step 5: Complete the Installation

Once you drag and drop the extension file, follow the steps that Google Chrome takes you through. Similarly, if the extension file is of .crx file format, you will be required to review the permissions and then add the extension.

Now, you can manage that added extension as you would like to with any other Chrome extension that you added through Chrome Webstore. Its icon will also appear in the Google Chrome Menu on the right side of the address bar once you activate it.

Method 2: Download GitHub Tools extension and install in Developer Mode

This is another method to install GitHub Tools extension manually, but the twist is that here, you install by enabling the developer mode option provided in Google Chrome. This mode is commonly used for testing extensions or running unpublished tools.

Step 1: Download the GitHub Tools extension file

Select and download the GitHub Tools extension by clicking the 'Download CRX' button on the website.

Step 2: Extract the downloaded contents

Convert the file to a ZIP file if it is in CRX format then extract the GitHub Tools extension zip file or folder that you downloaded. Make sure you extract it using the same folder name and keep it safely in another folder, so you don't delete it by mistake. The extracted folder will be needed to keep your GitHub Tools extension running.

Step 3: Open Chrome Extension Setting Page

In the address bar of Google Chrome, type chrome://extensions and open the Chrome Extension Page.

Step 4: Enable Developer Mode

After opening the Chrome Extension page, look at the top right side, and you will find the toggle option of "Developer mode."Simply enable that developer mode option.

Step 5: Load the Unpacked Extension

Once you enable the developer mode option, you will see the menu of Load Unpacked, Pack Extensions and Update. From that, select the option "Load unpacked."

Step 6: Select the Extension Folder

Once the pop-up opens upon clicking Load unpacked, select the GitHub Tools extension directory and click on the "Select Folder "button.

Step 7: Confirm and Install

After you select an extension folder of a Google Chrome extension you're installing manually, confirm its installation for the final time and let the installation complete.

Conclusion

Here we've made a step-by-step guide on How to manually install GitHub Tools extension in 2 ways. We hope this guide proves helpful.

Similar Extensions

icon

SponsorBlock for YouTube - Skip Sponsorships Extension · Productivity 0 2649 ★ 1.51MiB

icon

Tab Manager for Chrome™ Extension · Productivity 0 76 ★ 503KiB

icon

Voice Control for ChatGPT x Mia AI Extension · Productivity 0 632 ★ 1.32MiB

icon

Video Downloader professional Extension · Productivity 0 374 ★ 149KiB

icon

Tabrr Dashboard - New Tab with ChatGPT Extension · Productivity 0 476 ★ 5.2MiB

icon

Accept all cookies Extension · Productivity 0 302 ★ 664KiB

icon

CryptoTab START Extension · Productivity 0 15220 ★ 9.87MiB

icon

Material You NewTab Extension · Productivity 0 106 ★ 379KiB

icon

New Tab for Google Workspace™ Extension · Productivity 0 451 ★ 427KiB

icon

Tab Manager by Workona Extension · Productivity 0 3600 ★ 92.81KiB

icon

Bonjourr · Minimalist Startpage Extension · Productivity 0 14722 ★ 523KiB

icon

Just Read Extension · Productivity 0 880 ★ 387KiB

icon

UltraWide Video Extension · Productivity 0 865 ★ 110KiB

icon

Live Start Page - Living Wallpapers Extension · Productivity 0 8606 ★ 35.37MiB

icon

Tab Session Manager Extension · Productivity 0 336 ★ 733KiB

icon

IPvFoo Extension · Productivity 0 188 ★ 39.79KiB

icon

Houzz Save Button Extension · Productivity 0 183 ★ 323KiB

icon

Calendar Dark Mode Extension · Productivity 0 378 ★ 195KiB

icon

Video Popout Extension · Productivity 0 142 ★ 20.9KiB

icon

G App Launcher (Customizer for Google™) Extension · Productivity 0 464 ★ 1.34MiB

icon

Click to Remove Element Extension · Productivity 0 532 ★ 28.63KiB

icon

Tile Tabs WE Extension · Productivity 0 105 ★ 69.73KiB

icon

Tab Manager Plus for Chrome Extension · Productivity 0 1001 ★ 477KiB

icon

Homey: Productivity New Tab Extension · Productivity 0 5668 ★ 8.64MiB