Lines Matching refs:opts
152 opts = _symbolkey2str(item_info[4])
153 menu_name = opts.delete('menu_name')
154 menu_config = opts.delete('menu_config') || {}
171 opts = _symbolkey2str(item_info[4])
173 opts.delete('menu_name')
174 opts.delete('menu_config')
176 options.update(opts)
432 def _create_menubar(parent, menu_spec, tearoff = false, opts = nil)
434 opts = tearoff
439 _create_menubutton(parent, menu_info, tearoff, opts)