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.

Sign up for GitHub

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

Jump to bottom

Option not to show line & column numbers in explorer #143

Closed
kimaldis opened this issue Aug 17, 2018 · 2 comments
Closed

Option not to show line & column numbers in explorer #143

kimaldis opened this issue Aug 17, 2018 · 2 comments
Assignees
@alefragnani
Labels
enhancement side bar
Milestone
August 2021

Comments

@kimaldis
Copy link

As it says in the title. I like an uncluttered view.

thanks
@alefragnani
Copy link
Owner

Hi @kimaldis ,

I like the idea, thanks for your suggestion 👍

@alefragnani alefragnani mentioned this issue Aug 24, 2018
Closed
@alefragnani alefragnani mentioned this issue Oct 31, 2018
Closed
@alefragnani alefragnani added the sponsor wanted Depends on sponsorship (PayPal / Patreon) label Nov 21, 2018
@alefragnani alefragnani mentioned this issue Nov 21, 2018
Closed
@alefragnani
Copy link
Owner

Based on #161 comments, evaluate using tooltips to store/show the (Lin: XX, Col: YY) data.

@alefragnani alefragnani self-assigned this Mar 23, 2019
@alefragnani alefragnani mentioned this issue Jun 19, 2020
Closed
@alefragnani alefragnani removed the sponsor wanted Depends on sponsorship (PayPal / Patreon) label Jun 28, 2021
@alefragnani alefragnani added this to the June 2021 milestone Jun 28, 2021
@alefragnani alefragnani mentioned this issue Jul 2, 2021
Open
7 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alefragnani alefragnani

Labels
enhancement side bar
Projects
None yet
Milestone
August 2021
Development

No branches or pull requests
2 participants
@alefragnani @kimaldis