I run a patched version of the arduino-0010 IDE on my eeepc 701 running the Xandros easymode OS.
see this threadhttp://www.arduino.cc/cgi-bin/yabb2/YaBB.pl?num=1200721730
for some basic info and download-links.
I didn't felt like updating the pacht to arduino-0012 yet.
(Mostly because a one-line patch I send to the developers mailing list a year ago, that already solves the basic window-size problem, never made it into the sourcecode without any comment)
But if you are really desparate I consider an upgrade...