An iPad JavaScript editor.