equal
deleted
inserted
replaced
55 # even the events generated by splash themself during showing |
55 # even the events generated by splash themself during showing |
56 if wx.Platform == '__WXMSW__': |
56 if wx.Platform == '__WXMSW__': |
57 self.splash.Show() |
57 self.splash.Show() |
58 self.splash.ProcessEvent(wx.PaintEvent()) |
58 self.splash.ProcessEvent(wx.PaintEvent()) |
59 else: |
59 else: |
60 for i in range(0, 30): |
60 for dummy in range(0, 30): |
61 wx.Yield() |
61 wx.Yield() |
62 time.sleep(0.01) |
62 time.sleep(0.01) |
63 |
63 |
64 def Usage(self): |
64 def Usage(self): |
65 print("Usage:") |
65 print("Usage:") |