how to download idea internet settings