IDE 1.6.2 Board Manager and http proxy

Hi,

With the new 1.6.2 IDE, the board manager is unable to connect to the board repository behind an http proxy.

My OS : OS X 10.9.5 Mavericks

It would be fine to use the OS proxy settings on OS X :slight_smile:

Best regards