Open an issue on the Arduino google code page. Include a patch.
Doesn't make a lot of sense to change. Arduino is geared toward the IDE not Eclipse, anyway. You can always make the change locally and you're good.
Open an issue on the Arduino google code page. Include a patch.
Doesn't make a lot of sense to change. Arduino is geared toward the IDE not Eclipse, anyway. You can always make the change locally and you're good.