Beremiz.py
changeset 1847 6198190bc121
parent 1831 56b48961cc68
child 1872 866fb3ab8778
equal deleted inserted replaced
1846:14b40afccd69 1847:6198190bc121
    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:")