Is the source for the IDE gizmo available anywhere

I'd like to make a small change and add a function to one of the menu items.

Thanks, Jim.

http://code.google.com/p/arduino/

Andrew

Thanks