0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

wml tools GUI: stop tooltips from reapparing when the associated widget is clicked

Browse source
This commit is contained in:
Elvish_Hunter 2016-08-08 18:36:57 +02:00
parent b17779f8a7
commit 2a10f01fae
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
data/tools/GUI.pyw
View file

@ -190,7 +190,8 @@ mouse pointer stays on the widget for more than 500 ms."""
else:
self.widget.bind("<Enter>",self.preshow)
self.widget.bind("<Leave>",self.hide)
self.bind_all("<Button>",self.hide)
self.widget.bind("<ButtonPress>",self.hide)
self.widget.bind("<ButtonRelease>",self.hide)
self.withdraw()
def preshow(self,event=None):
self.after_cleanup()