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

minimap #194

Open
trusktr opened this issue Apr 15, 2021 · 1 comment · May be fixed by #220
Open

minimap #194

trusktr opened this issue Apr 15, 2021 · 1 comment · May be fixed by #220
Labels
enhancement New feature or request good first issue Good for newcomers gui Bugs or enhancement related to GUI elements

Comments

@trusktr
Copy link

trusktr commented Apr 15, 2021

Someone had to ask! It would be cool. :)

@smolck smolck added enhancement New feature or request good first issue Good for newcomers gui Bugs or enhancement related to GUI elements labels Apr 15, 2021
@smolck
Copy link
Owner

smolck commented Apr 15, 2021

I agree it would be cool; I'm totally willing to add this at some point, but it's kind of low on the (mental) priority list atm, especially now that I've got #191 to work on.

If you or anyone else is interested in working on this though, I'd be happy to point you in the right direction as for where the change might be made (and just offer general guidance as/if necessary). For the actual implementation though, I haven't read up on how to implement a minimap, so I'm not sure how that would work. (Goneovim has a minimap though so could maybe ask about the implementation on their gitter.)

@smolck smolck linked a pull request May 10, 2021 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request good first issue Good for newcomers gui Bugs or enhancement related to GUI elements
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants