Open matthewmueller opened 2 weeks ago
Disabling folding, with:
"gutter": {
"folds": false
},
does significantly reduce the space in the gutter (to the right of the line numbers, as can be seen in your screenshot). You might want to disable gutter.runnables
as well, it significantly reduces the width of the gutter as well (and personally I disable gutter.code_actions
because I always use the shortcut and I find it annoying, although it doesn't take additional space).
The non-floating editor scrollbar is on purpose, it's used to display information about the code (git status, diagnostics, symbols, etc.) and uses third columns to separate the different types. I don't think you can turn it floating but you can hide it completly:
"scrollbar": {
"show": "never"
}
You can hide tabs with tab_bar
:
"tab_bar": {
"show": false,
}
(or just the back and forward buttons with tab_bar.show_nav_history_buttons
)
Thanks! I didn't know about disabling the tab bar, that helps. You're right that if you disable all left-hand gutter items it does reduce the left hand side. Would love for the numbers to hug the line a bit more, but that's being nit picky.
I still think there is quite a bit of room to reduce the size of the code scrollbar. For comparison, here's what VSCode looks like for me:
Check for existing issues
Describe the feature
This is fairly minor, but I'd love to be able to minimize the chrome to maximize the working space of the editor. Zed has a really clean design, but I still feel like there's quite a bit of extra space that would be nice to collapse, specifically:
If applicable, add mockups / screenshots to help present your vision of the feature
This is my first time trying Zed, I'm amazed how polished the experience is already. Keep up the great work!