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

Line numbers, jump to line #152

Open
alvarocaceresmunoz opened this issue Nov 30, 2022 · 1 comment
Open

Line numbers, jump to line #152

alvarocaceresmunoz opened this issue Nov 30, 2022 · 1 comment
Assignees
Labels
enhancement New feature or request
Milestone

Comments

@alvarocaceresmunoz
Copy link

I've been using Flok for a month now and I love how easy to use it is. I feel like having line numbers on the side would improve the usability of the tool. What do you think? I'd be happy to try creating a prototype and create a PR if you want.

By extension, having a shortcut to go to a specific line would be great.

@munshkr
Copy link
Owner

munshkr commented Dec 2, 2022

Hi @alvarocaceresmunoz thanks! Yes that'd be a good addition and willing to look into it if you want to contribute!

It'd be nice if we can toggle showing/hiding line numbers. I'd prefer to keep them hidden by default, and let the user enable them with a key shortcut.

@munshkr munshkr added the enhancement New feature or request label Dec 3, 2022
@munshkr munshkr self-assigned this Jan 6, 2024
@munshkr munshkr removed this from Flok: Backlog Jan 6, 2024
@munshkr munshkr modified the milestones: Flok 1.0, Version 1.0, Version 1.1 Jan 8, 2024
@munshkr munshkr removed the flok-next label Jan 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants