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

"Remove redundant curly braces" tipper not in preferences menu #1627

Open
hanneshorn opened this issue Dec 23, 2017 · 4 comments
Open

"Remove redundant curly braces" tipper not in preferences menu #1627

hanneshorn opened this issue Dec 23, 2017 · 4 comments
Assignees

Comments

@hanneshorn
Copy link

As the subject line says.
In my project I get thousands of said tips. Can't see the forest for the trees!
Using java8 with Spartan v2.12.1

@OriRoth
Copy link
Collaborator

OriRoth commented Dec 23, 2017

You can toggle unwanted tippers at the preferences menu. I would gladly help with further problems, if such arise.

@hanneshorn
Copy link
Author

I'm aware of the settings menu. I just couldn't guess which item I'd have to turn off to disable said tip.

@OriRoth
Copy link
Collaborator

OriRoth commented Dec 23, 2017

I cannot find the exact one. It should be under the SyntacticBaggage category. You can also use the disable tip from the marker's quick-fix menu (opened via cursor+ctrl+1 or mouse hover). @dormaayan maybe you can find the right one?

@hanneshorn
Copy link
Author

Ori,
using the quick-fix menu to disable this tip did the trick.
But there doesn't seem a corresponding item in the preferences menu.
Thank you so much!

@OriRoth OriRoth self-assigned this Dec 24, 2017
@OriRoth OriRoth changed the title Question: how can I specifically disable "Remove redundant curly braces" "Remove redundant curly braces" tipper not in preferences menu Dec 24, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants