476
480
for item in edit_menu_items:
477
481
item.set_sensitive(False)
479
483
self.active_pane.searchentry.flags() & gtk.VISIBLE):
480
484
# undo, redo, cut, copy, paste, delete, select_all sensitive
481
485
# if searchentry is focused (and other more specific conditions)