def widgetMouseMoved(widget, x, y, button): #Warning: Don't do anything too intensive here #You don't want to run some complex piece of code everytime the mouse moves global hidden global counter if (hidden==1): karamba.moveWidget(widget, 0, 0) hidden = 0 counter = 0
def widgetUpdated(widget): global hidden global counter if hidden == 0: counter = counter + 1 if (counter > 5): hidden = 1 karamba.moveWidget(widget, 0, -210)