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

All Messages > Group By Type is broken? #134

Closed
jhrcek opened this issue Dec 22, 2017 · 1 comment
Closed

All Messages > Group By Type is broken? #134

jhrcek opened this issue Dec 22, 2017 · 1 comment
Labels
Milestone

Comments

@jhrcek
Copy link
Contributor

jhrcek commented Dec 22, 2017

Hello,
I love this tool! However in latest version (13.2) I noticed that grouping of messages by type doesn't work as expected. I'd expect the messages to be grouped by type, like first all "unused import" messages, then all "comment too long" etc. Is this expected behavior or a bug?

screenshot

@stil4m stil4m added this to the 0.13.3 milestone Dec 22, 2017
@stil4m stil4m added the bug label Dec 22, 2017
@stil4m
Copy link
Owner

stil4m commented Dec 22, 2017

Great to hear that you like it. Fixed this in 0.13.3, which I will release later today.
It was a bug in the code that relied on a toString in combination with a String.split. Bad idea, you'll lose your type-safety... Sometimes I really suck.

Thanks for reporting the bug. Much appreciated :)

@stil4m stil4m closed this as completed Dec 22, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants