Open for discussion: #20625- add proxy settings into application options

State of request #20625- add proxy settings into application options
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/idea/viewSCR?publicId=20625