I would put the options a user might regularly change in the menus, and all options in the preferences. I would for example not put the display font in the menus, because that's something you set up once and be done with it. -- Joost Schuttelaar