Going to Galaxies Quicker

Just in case you didn't know, you can actually enter galaxy numbers instead of using those arrow keys. Just click onto the galaxy number, press delete, and enter whatever galaxy you want.