A creator of menus for terminal customization options