hanneshorn
Results
2
comments of
hanneshorn
I'm aware of the settings menu. I just couldn't guess which item I'd have to turn off to disable said tip.
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!