Lines Matching defs:options
14 # use it for the user to choose from a fixed set of options
18 options = {'text':'Plain Text', 'post':'PostScript', 'html':'HTML',
31 options = 'label.width 19 label.anchor e menubutton.width 15')
35 options='label.width 19 label.anchor e menubutton.width 15')
37 # Add the available options to the two OptionMenu widgets
39 # [Hint] You have to add the options first before you set the
41 # the OptionMenu widget will complain about "unknown options"!
43 for opt in options.keys():
44 from_file.add_command(opt, label=options[opt])
45 to_file.add_command(opt, label=options[opt])
