The editor now uses the same font as the shell, Droid Sans Mono.