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

Hints should be proposals instead of errors/warnings #18

Closed
markiewb opened this issue Nov 7, 2013 · 1 comment
Closed

Hints should be proposals instead of errors/warnings #18

markiewb opened this issue Nov 7, 2013 · 1 comment
Assignees
@markiewb
Labels
bug
Milestone
1.1

Comments

@markiewb
Copy link
Owner

markiewb commented Nov 7, 2013

For example the"Replace with ..." pollutes the right gutter.
@ghost ghost assigned markiewb Nov 7, 2013
markiewb added a commit that referenced this issue Nov 7, 2013
@markiewb
issue #18: Hints should be proposals instead of errors/warnings - don…
6628a77 
…'t pollute the gutters anymore
@markiewb
Copy link
Owner Author

markiewb commented Nov 7, 2013

Fixed in 1.1

@markiewb markiewb closed this as completed Nov 7, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@markiewb markiewb

Labels
bug
Projects
None yet
Milestone
1.1
Development

No branches or pull requests
1 participant
@markiewb