pioneerspacesim/pioneer — pull request #1512 by robn (2012-09-15 03:11:39+00:00)
Title: Make settings available from menu

For #1187, and for the chap in IRC that ramped up the settings, causing the game to crash, and then couldn't get back into the game to lower them again :)

Adding a bit of future debt here by making the UI view arrangement even more insane and putting stuff in Pi, but I don't think it makes anything substantially worse and adds a helpful thing for players.