本文整理汇总了Python中Timer.Timer.getID方法的典型用法代码示例。如果您正苦于以下问题：Python Timer.getID方法的具体用法？Python Timer.getID怎么用？Python Timer.getID使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Timer.Timer的用法示例。
在下文中一共展示了Timer.getID方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: Tooltip
# 需要导入模块: from Timer import Timer [as 别名]
# 或者: from Timer.Timer import getID [as 别名]
class Tooltip(PopupPanel):
def __init__(self, sender, offsetX, offsetY, text, show_delay, hide_delay, styleName):
global tooltip_hide_timer
PopupPanel.__init__(self, True)
self.show_delay = show_delay
self.hide_delay = hide_delay
contents = HTML(text)
self.add(contents)
left = sender.getAbsoluteLeft() + offsetX
top = sender.getAbsoluteTop() + offsetY
self.setPopupPosition(left, top)
self.setStyleName(styleName)
if tooltip_hide_timer:
self.tooltip_show_timer = Timer(1, self)
else:
self.tooltip_show_timer = Timer(self.show_delay, self)
def show(self):
global tooltip_hide_timer
# activate fast tooltips
tooltip_hide_timer=Timer(self.hide_delay, self)
PopupPanel.show(self)
def hide(self):
self.tooltip_show_timer.cancel()
PopupPanel.hide(self)
def onTimer(self, id):
global tooltip_hide_timer
# deactivate fast tooltips on last timer
if tooltip_hide_timer and id == tooltip_hide_timer.getID():
tooltip_hide_timer = None
if id == self.tooltip_show_timer.getID():
self.show()
else:
self.hide()