Opens a dialog which lets you redefine all the keyboard shortcuts.

Opens a dialog which lets you choose a graphical theme for the game.