Ok, it's taken a while, but Arduino 1.0.2 Teensy 3 Beta 9 is now working with teensy 2.0 and teensy 3.0 on 32-bit Vista, 64-bit Ubuntu 12.04, and 32-bit XP (running in a virtual machine under Ubuntu). I had a very hard time getting it to work on the Ubuntu system because the Arduino menu items are a very dark gray on a black background. It looked like there were no menu items. Is there someway to lighten the menu text color on the Ubuntu version of Arduino 1.0.2?