Repository navigation
✨ Configuration to toggle line numbers visibility #115
Description
Is your feature request related to a problem? Please describe.
Line numbers make UI bloated, we have line indicator in status bar
Describe the solution you'd like
Please hide line numbers by default
Describe alternatives you've considered
At least there should be an option to hide
Additional context
Activity
lukepistrol commentedon Jan 13, 2023
We probably won't hide the line numbers by default but having an option to turn them off seems like a good idea 👍
[-]Line numbers[/-][+]✨Option To Hide Line Numbers[/+]ben-p-commits commentedon Jan 23, 2023
@lukepistrol - I'll take this one on.
austincondiff commentedon Jan 23, 2023
Should we provide the ability to hide line numbers or hide the entire gutter which includes indications for code folding, code review, etc.? Maybe both (could be too much though)?
ben-p-commits commentedon Jan 23, 2023
Anecdotal- but I believe people who ditch line numbers are probably good with eschewing folding, review- etc.
ben-p-commits commentedon Jan 23, 2023
then again...xcode goes all the way
ben-p-commits commentedon Jan 23, 2023
@austincondiff, perhaps we add the options as separate enhancements when the respective functionality is implemented?
Hard to say whether the RulerView is going to be the container for those future features like a code ribbon, or if sibling views are needed for them.
austincondiff commentedon Jan 23, 2023
I like that. If Xcode provides the ability to show/hide each thing individually, we should do the same.
ben-p-commits commentedon Jan 23, 2023
@austincondiff, So- do we wait for those features to be implemented? 😆
ben-p-commits commentedon Jan 23, 2023
CodeEditApp/CodeEditTextView#124
@austincondiff , @lukepistrol, PR in the pocket.
austincondiff commentedon Jan 23, 2023
@ben-p-commits No, just making a comment that we should hide just the line numbers here and the others as they get implemented. 😉
[-]✨Option To Hide Line Numbers[/-][+]✨ Option To Hide Line Numbers[/+][-]✨ Option To Hide Line Numbers[/-][+]✨ Configuration to toggle line numbers visibility[/+]Improve Editor Configuration, Rename to `SourceEditor` (#336)