Add support for setting the label font from the main menu. Of course, this doesn't actually do anything, yet, since the LABEL command (or any other Logo commands) have no been implemented.
Authored by: david_costanzo 2008-04-19
Parent: [r2643]
Child: [r2645]