I don't think there's anything you can do. Just use the standard Arduino IDE for now and check back with the Arduino Web Editor occasionally to see if they've gotten it fixed yet.
I don't think there's anything you can do. Just use the standard Arduino IDE for now and check back with the Arduino Web Editor occasionally to see if they've gotten it fixed yet.