5 def add_option(menu
, option
, handler
, data
= None, enabled
= True):
6 item
= gtk
.MenuItem(option
)
7 item
.set_sensitive(enabled
)
8 item
.connect_object("activate", handler
, data
)
11 def add_submenu(menu
, option
):
13 item
= gtk
.MenuItem(option
)
15 item
.set_submenu(submenu
)