439
474
def get_options_menu(self):
440
475
"""Return options menu"""
445
476
self.restart_action = create_action(self, _("Restart kernel"),
446
477
icon=get_icon('restart.png'),
447
478
triggered=self.restart_kernel)
449
480
if self.menu_actions is not None:
456
486
def get_toolbar_buttons(self):