Raspberry Pi port, piCore-15.0 is available!
You could try uxterm included with xterm or right-click on the xterm window and see if that brings up options?