Fix text editor shortcuts in the Linux build.