Open for discussion: #3161- Provide an option to disable tips

State of request #3161- Provide an option to disable tips
has changed to "To be discussed". If you want to comment on it please do not reply to this message but add comment to the request's thread instead at http://www.intellij.net/tracker/resharper/viewSCR?publicId=3161