本文整理汇总了Python中pyjamas.Timer.Timer.getID方法的典型用法代码示例。如果您正苦于以下问题:Python Timer.getID方法的具体用法?Python Timer.getID怎么用?Python Timer.getID使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类pyjamas.Timer.Timer
的用法示例。
在下文中一共展示了Timer.getID方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: Tooltip
# 需要导入模块: from pyjamas.Timer import Timer [as 别名]
# 或者: from pyjamas.Timer.Timer import getID [as 别名]
class Tooltip(PopupPanel):
def __init__(self, sender, offsetX, offsetY, contents,
show_delay, hide_delay, styleName, **kwargs):
""" contents may be a text string or it may be a widget
"""
PopupPanel.__init__(self, True, **kwargs)
self.show_delay = show_delay
self.hide_delay = hide_delay
if isinstance(contents, str):
contents = HTML(contents)
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, autoClosed=False):
self.tooltip_show_timer.cancel()
PopupPanel.hide(self, autoClosed)
def onTimer(self, tooltip_id):
global tooltip_hide_timer
# deactivate fast tooltips on last timer
if tooltip_hide_timer and tooltip_id == tooltip_hide_timer.getID():
tooltip_hide_timer = None
if tooltip_id == self.tooltip_show_timer.getID():
self.show()
else:
self.hide()