def create_debug_menu(self): #Debug Menu self.debugMenu = gtk.Menu() self.profileMenuItem = GTKUtils.append_menu_item(self.debugMenu, "Start Profiler", self.toggle_profiler) def on_profiler_started(profiler): self.profileMenuItem.child.set_text("Stop Profiler") self._start_listening_for_event("started", Profiler.get(), on_profiler_started) def on_profiler_stopped(profiler): self.profileMenuItem.child.set_text("Start Profiler") self._start_listening_for_event("stopped", Profiler.get(), on_profiler_stopped) self.debugMenuRoot = gtk.MenuItem("Debug") self.debugMenuRoot.set_submenu(self.debugMenu) self.debugMenuRoot.show() return self.debugMenu
def toggle_profiler(self, widget=None): if Profiler.get().isProfiling: Profiler.get().stop() else: Profiler.get().start()