A plugin to resize the file tree panel for GitHub pull requests

Latest Version

Version
2.1
Update
April 13, 2023
Size
7.51KiB
Developer
Category
Users
145
Rating
5 ★
Manifest Version
3
Web Store Status
Languages Support
English (UK)
See more
Permissions
ActiveTab
Scripting
See more

GitHub File Tree Resizer Extension

GitHub File Tree Resizer is a powerful plugin that enhances your GitHub pull request experience by providing you with an easy-to-use interface to resize the file tree panel. With this extension, you can adjust the size of the file tree to your preference, making it easier to navigate your pull request code changes and review feedback.

This extension is perfect for developers, software engineers, and anyone who uses GitHub regularly. Its intuitive user interface makes it easy to use, even for those who are new to browser extensions.

Key features of GitHub File Tree Resizer include:

- Adjustable file tree size: Easily resize the file tree panel to your preferred size with a few clicks.
- Simple installation: Install the extension in seconds and start using it right away.
- Works with all pull requests: The extension automatically activates on pull requests, so you can start resizing the file tree panel immediately.
- Lightweight and fast: The extension is designed to be lightweight and fast, so it won't slow down your browser.

GitHub File Tree Resizer is a must-have extension for anyone who wants to improve their GitHub pull request workflow. Try it today and see how much more productive you can be!
Read more

Source Manifest.json

{"update_url": "https://clients2.google.com/service/update2/crx", "manifest_version": 3, "name": "GitHub File Tree Resizer", "description": "A plugin to resize the file tree panel for GitHub pull requests", "version": "2.1", "permissions": [ "activeTab", "scripting" ], "background": { "service_worker": "background.js" }, "action": { "default_popup": "popup.html", "default_icon": { "16": "icon16.png", "32": "icon32.png", "48": "icon48.png", "128": "icon128.png" } }, "content_scripts": [ { "matches": ["https://*.github.com/*"], "js": ["popup.js", "content.js"] } ]}
Read more

Similar Extensions

icon

LivePerson Brand Mapper #jf Extension · Productivity 145 0 ★ 83.62KiB

icon

Martial Arts School Essentials Extension · Productivity 145 0 ★ 11.52KiB

icon

Symbo - Sales Engagement Platform Extension · Productivity 145 3 ★ 614KiB

icon

Notion Cover Extension · Productivity 145 1 ★ 341KiB

icon

SuperApply Extension · Productivity 145 1 ★ 675KiB

icon

WishListo Extension · Shopping 145 0 ★ 16.46KiB

icon

Message Ninja Extension · Productivity 145 2 ★ 315KiB

icon

Group Member Data Extension · Social & Communication 145 2 ★ 37.97KiB

icon

Yiva - Radio Player Extension · Fun 145 0 ★ 95.88KiB

icon

fartify Extension · Fun 145 0 ★ 139KiB

icon

Better Pull Request for GitHub Extension · Developer Tools 145 211 ★ 405KiB

icon

Curation Tool - Campa Extension · Productivity 145 0 ★ 61.76KiB

icon

GitHub PR images comparer Extension · Developer Tools 145 1 ★ 13.65KiB

icon

Klug Extension · Productivity 145 1 ★ 60.48KiB

icon

SHR Extension · Developer Tools 145 0 ★ 634KiB

icon

Linkedly Extension · Productivity 145 2 ★ 34.88KiB

icon

Ad Copy Pasta Writer Extension · Productivity 145 1 ★ 105KiB

icon

Bogoo – Reviews Analysis Tool Extension · Productivity 145 0 ★ 361KiB

icon

ClipGPT Extension · Productivity 145 1 ★ 24.92KiB

icon

Fenwick Improvements for Business Central Extension · Developer Tools 145 0 ★ 10.09KiB

icon

Spectral - YouTube Search powered by ChatGPT Extension · Productivity 145 8 ★ 33.73KiB

icon

AliExpress Dropship : Advanced Tools Extension · Productivity 145 4 ★ 32.31KiB

icon

Amazon Tidy - A Cleaner Amazon Extension · Productivity 145 1 ★ 45.27KiB

icon

Meet Cost Tracker, a calculator for GCalendar Extension · Productivity 145 4 ★ 2.51MiB