haven't known that. will definitely give it a go to hide my ide preferences from others.