Using the CKE editor option instead does allow the ctrl shortcuts to work. I prefer using shortcuts to having to take my hand off the keyboard to hit the buttons with the mouse, but that's just me. I do like the looks of the other text editor better though.