X-Git-Url: https://git.saurik.com/wxWidgets.git/blobdiff_plain/bbf7159c8211a398e573122c66b93722f5125c60..180ebf90bce509d815724b5045ebcc59b9ef724c:/wxPython/samples/ide/activegrid/tool/IDE.py diff --git a/wxPython/samples/ide/activegrid/tool/IDE.py b/wxPython/samples/ide/activegrid/tool/IDE.py index 947a2da16a..995cfbf9e9 100644 --- a/wxPython/samples/ide/activegrid/tool/IDE.py +++ b/wxPython/samples/ide/activegrid/tool/IDE.py @@ -348,7 +348,12 @@ class IDEApplication(wx.lib.pydocview.DocApp): if not welcomeService.RunWelcomeIfFirstTime(): if os.path.exists("activegrid/tool/data/tips.txt"): wx.CallAfter(self.ShowTip, docManager.FindSuitableParent(), wx.CreateFileTipProvider("activegrid/tool/data/tips.txt", 0)) + else: + if os.path.exists("activegrid/tool/data/tips.txt"): + wx.CallAfter(self.ShowTip, docManager.FindSuitableParent(), wx.CreateFileTipProvider("activegrid/tool/data/tips.txt", 0)) + wx.UpdateUIEvent.SetUpdateInterval(200) # Overhead of updating menus was too much. Change to update every 200 milliseconds. + return True