Improved the AppSettings interface.

AppSettings is a bit more usable than it was before.