Github File Tree Resizer Chrome extension icon

Github File Tree Resizer

👥 182 users
📦 v2.1
💾 7.51KiB
📅 2023-04-13
View on Chrome Web Store

Chrome will indicate if you already have this installed.

Overview

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!

Tags

Productivity/developer developer productivity/developer

Privacy Practices

Not being sold to third parties, outside of the approved use cases
Not being used or transferred for purposes that are unrelated to the item's core functionality
Not being used or transferred to determine creditworthiness or for lending purposes

🔐 Security Analysis

This extension hasn't been security-scanned yet.

Capture a screenshot of your current page in entirety and reliably—without requesting any extra permissions!
Productivity/developer AI
브라우저에서 라온시큐어의 PC보안 기능을 사용하기 위한 확장 프로그램입니다.
Productivity/developer
Adds React debugging tools to the Chrome Developer Tools. Created from revision 3cde211b0c on 10/20/2025.
Productivity/developer