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

Improve when protected_regions are created #1697

Open
kaste opened this issue Nov 21, 2019 · 7 comments
Open

Improve when protected_regions are created #1697

kaste opened this issue Nov 21, 2019 · 7 comments

Comments

@kaste
Copy link
Contributor

kaste commented Nov 21, 2019

The sole purpose was cooperation with GitGutter iirc which worked 😐 at best.

Since then, we have git support in Sublime which actually draws the gutter stuff for us. I actually still use GitGutter (for the tooltips) which cooperates with the Sublime thing 😗.

tl;dr I don't think we need this anymore.

@braver
Copy link
Member

braver commented Nov 21, 2019

Good point. Does brackethighlighter respect our protected_regions? Probably not. So yeah, this should be removed.

@kaste
Copy link
Contributor Author

kaste commented Nov 29, 2019

With the protected_regions GitGutter controls if it shows the git diff tooltip. T.i. if I remove this marker I don't get our line report on hover.

Actually, we should provide protected_regions only if show_hover_line_report is True. Since nobody reported that as a bug ever, it may be that the setting show_hover_line_report is not needed.

@braver
Copy link
Member

braver commented Nov 29, 2019

I would not be surprised if almost everyone keeps the default setting here, ie. enable show_hover_line_report. And maybe the few times our gutter icon conflicts with GitGutter they shrug.

The important thing was the icon though. We felt that our icon was more important than theirs. But I think their popup is maybe more important than ours, because we have about 5 alternatives to the popup, and GitGutter doesn't.

@braver
Copy link
Member

braver commented Dec 19, 2019

This also assumes that our tooltip is more important than GitGutter’s, which I’m not sure is true (for everyone always). I think we should either leave the functionality as is (it works when it works and apparently people don’t have big problems with it), or get rid of it. I don’t think it works well enough to warrant trying to make it smarter or enhancing it in any way, and people are not demanding we do anything extra here.

I personally like the idea of taking out the protected regions because it doesn’t work that well and there are other ways of getting that info if another package steals “our” region. And I like taking features away 😈

tldr; I vote doing nothing and closing this issue as “won’t fix”

@kaste
Copy link
Contributor Author

kaste commented Dec 23, 2019

I sure fix the bug here, since we now know it, and don't set protected regions if show_hover_line_report is False.

Other than that it is an UI thing. When we draw things which look like "hoverable" then we also show the tooltip, maybe even if it is probably not that useful. I can also imagine that we first did the gutter tooltips and then the setting was added because user actually found the line report not useful and wanted rather nothing or the GitGutter thing.

From my point of view, hard to see any benefit from the line tooltip. I actually use the error tooltip which comes naturally; you see an underline, and have your hand already on the mouse so you just approach it, and hover. Don't know why you should do this on the line; and if you have multiple errors on the line, hard to tell for sure which is which.

On the other hand, if I hover over such an icon (from us) and then GitGutter appears... I already made a quick fix here, and it sure feels/looks strange.

Probably or maybe the best experience is to show the tooltip when the icon is visible without any setting. You either have icons, or just don't draw them. But I have to try as well, if I actually like it to have no icons. Don't think I ever tried that.

Or I just hide the icons on hover which would make it very clear that the tooltip does not come "from" the SublimeLinter icon.

@braver
Copy link
Member

braver commented Dec 24, 2019

Sounds good, seems like some experimentation is needed here.

@braver
Copy link
Member

braver commented Feb 1, 2020

Takeaways:

  • we should not make protected regions if the user disabled the line tooltips
  • we should keep the protected regions because it’s weird to hover over our icon and get someone else’s tooltip, and if the user prefers the other tooltips at all times we have the setting
  • unless we drop the line tooltips altogether, which would be fine by me, but we need a better reason to do so

@braver braver changed the title Can we remove the protected_regions thing? Improve when protected_regions are created Feb 3, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

No branches or pull requests

2 participants