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()
