Open hanneshorn opened 6 years ago
You can toggle unwanted tippers at the preferences menu. I would gladly help with further problems, if such arise.
I'm aware of the settings menu. I just couldn't guess which item I'd have to turn off to disable said tip.
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?
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!
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