Added handling for the user preference buttons.
Made the user preference buttons generate automatically from the
preferences in the user's preference file, as a list instead of hard
coded buttons in XML.