Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ability to fold the file list and minimap #75

Open
lptr opened this issue Nov 5, 2024 · 3 comments
Open

Ability to fold the file list and minimap #75

lptr opened this issue Nov 5, 2024 · 3 comments
Labels
enhancement New feature or request github This issue is about our GitHub App

Comments

@lptr
Copy link

lptr commented Nov 5, 2024

Is your feature request related to a problem? Please describe.

Horizontal screen real-estate is precious, it would be great to allow focusing on just the diff when needed. I also don't find the minimap very useful, especially for small changes.

Describe the solution you'd like

Add a button to fold the file list and another for folding the minimap. Something similar to how GitHub's own file list can be folded could work fine.

@lptr lptr added enhancement New feature or request github This issue is about our GitHub App labels Nov 5, 2024
@mmueller2012
Copy link
Contributor

You can toggle the sidebar using this button (or using CTRL+B/⌘+B):

image

The minimap does not have a toggle button, but you can use CTRL+M (⌘+J on macOS) to toggle it. You can also disable it entirely in the user settings if you don't need it.

@lptr
Copy link
Author

lptr commented Nov 5, 2024

Ah, I missed it, thanks. Would be nice to have a matching fold button for the minimap then. All else seems to be available already!

@mmueller2012
Copy link
Contributor

We added an entry to the menu above the minimap to hide/show the minimap without using a keyboard shortcut:

image

I will keep the issue open since we still have to add this information to the documentation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request github This issue is about our GitHub App
Projects
None yet
Development

No branches or pull requests

2 participants