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

Token highlights should be done at mouse click #10

Open
AMecea opened this issue Jan 29, 2019 · 1 comment
Open

Token highlights should be done at mouse click #10

AMecea opened this issue Jan 29, 2019 · 1 comment
Assignees

Comments

@AMecea
Copy link

AMecea commented Jan 29, 2019

Now the tokens are highlighted when the mouse is hovering a token, then when the mouse is moved the highlights change on another token. This can be annoying. I think it will be better to highlight tokens only on mouse click.

@chrismwendt
Copy link
Contributor

I filed an issue about potentially adding this to the extension API https://github.com/sourcegraph/sourcegraph/issues/2064 Perhaps this functionality would be useful to other extensions as well.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants