Refactored print.option_list(). It now uses str.format() to right justify the menu text.
Refactored print.option_list(). It now uses str.format() to right justify the menu text.

Ben-Farnfield/dotdesk,Ben-Farnfield/dotdesk