Display the properties window.
winprop() activates the properties window and allows the user to
alter font and other window characteristics. If deffile is specified
then the file is used to set the windows properties.
A menu item under the File menu could be called Properties and have the