Traigo buenas noticias para los que como yo, sufren el problema de las tildes con el dock. Yo lo solucionaba cambiando el teclado a Español US, y pulsando la tecla Alt y la vocal que quisiera acentuar y esta salía acentuada, pero por contra en la ñ salía el punto y coma y así con otras teclas. Y tenía que ir cambiando de teclado de ES a US (ctrl + space) y era un coñazo.
Así que trasteando un poquillo me descargué la app External Keyboard Helper Pro de este mismo foro y la puse como teclado predeterminada y español int y ¡Boilá! el teclado funciona como debe ser.