def update_last_action_box(self, obj_evt, nav=False):
if nav:
tup = gtk.tooltips_data_get(self.latest['nav_actionBox'])
else:
tup = gtk.tooltips_data_get(self.latest['actionsBox'])
if tup is None:
return
corpsstr = ""
for op in obj_evt.operations:
op_time = time.strftime("%H:%M:%S", time.localtime(op.time))
if self.options['time'] == 'activity':
op_time = helper.format_time_reference(op.activity_time)
if op.concerned_object['name'] is None:
corpsstr += urllib.unquote( op_time + " : " + op.name + "\n")
else:
corpsstr += urllib.unquote( op_time + " : " + op.name + " ( " + op.concerned_object['name'] + " : " + op.concerned_object['id'] + " )\n")
tup[1].set_tooltip_text(corpsstr)
self.receive(self.tracer.trace)
def _menuitemSelect(self, menuItem, *args):
tooltipData = gtk.tooltips_data_get(menuItem)
if tooltipData:
print tooltipData[2]
else:
print 'No tooltip associated with this item'
def onUnpaused(self):
""" The playback has been unpaused """
self.btnPlay.set_image(gtk.image_new_from_stock(gtk.STOCK_MEDIA_PAUSE, gtk.ICON_SIZE_BUTTON))
gtk.tooltips_data_get(self.btnPlay)[0].set_tip(self.btnPlay, _('Pause the current track'))
def _menuitemSelect(self, menuItem, *args):
tooltipData = gtk.tooltips_data_get(menuItem)
if tooltipData:
print tooltipData[2]
else:
print 'No tooltip associated with this item'