Open for discussion: #18745- Key assignment for F12 and Ctrl-F12

State of request #18745- Key assignment for F12 and Ctrl-F12
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=18745