Couple of beginner questions

Have you tried version 2.0 of the IDE, currently in beta testing and available for download from Announcing the Arduino IDE 2.0 (beta) | Arduino Blog