Class for creating the preferences panel which holds user definable preferences (e.g., tree display size,
highlight color) and syncs these preferences with the appropriate data structures. This class only needs to be
instantiated once for a given instance of the gui.