def make_bookmarks_menu(raw_mode):
global bookmarks_menu
if bookmarks_menu is not None:
bookmarks_menu.close()
bookmarks_menu = None
bookmarks_menu = menu = stdwin.menucreate('Bookmarks')
for addr in bookmarks:
if not raw_mode and places.has_key(addr):
t = places[addr][0]
if string.strip(t): addr = t
menu.additem(addr)
def make_bookmarks_menu(raw_mode):
global bookmarks_menu
if bookmarks_menu is not None:
bookmarks_menu.close()
bookmarks_menu = None
bookmarks_menu = menu = stdwin.menucreate('Bookmarks')
for addr in bookmarks:
if not raw_mode and places.has_key(addr):
t = places[addr][0]
if string.strip(t): addr = t
menu.additem(addr)
def mainmenu():
m = stdwin.menucreate('Wdiff')
m.action = []
add(m, ('Quit wdiff', 'Q'), quit_wdiff)
add(m, 'Close subwindows', close_subwindows)
return m
def mainmenu():
m = stdwin.menucreate("Wdiff")
m.action = []
add(m, ("Quit wdiff", "Q"), quit_wdiff)
add(m, "Close subwindows", close_subwindows)
return m
def mainmenu():
m = stdwin.menucreate('Wdiff')
m.action = []
add(m, ('Quit wdiff', 'Q'), quit_wdiff)
add(m, 'Close subwindows', close_subwindows)
return m
