Comment Comment by theBobMcCormick Actually, there's no need to. Terminal IDE already comes with it's own replacement keyboard. parent theBobMcCormick 14 years ago