Added a menu entry for the preferences (still not implemented though)