BeremizIDE.py
changeset 2459 21164625b393
parent 2309 d8fb90a2e11f
parent 2450 5024c19ca8f0
child 2483 6a7f92b84855
equal deleted inserted replaced
2458:2a70d5240300 2459:21164625b393
    29 import os
    29 import os
    30 import sys
    30 import sys
    31 import tempfile
    31 import tempfile
    32 import shutil
    32 import shutil
    33 import random
    33 import random
    34 import types
       
    35 import time
    34 import time
    36 from time import time as gettime
    35 from time import time as gettime
    37 from threading import Lock, Timer, currentThread
    36 from threading import Lock, Timer, currentThread
    38 
    37 
    39 import cPickle
    38 from six.moves import cPickle, xrange
    40 import wx.lib.buttons
    39 import wx.lib.buttons
    41 import wx.lib.statbmp
    40 import wx.lib.statbmp
    42 import wx.stc
    41 import wx.stc
    43 
    42 
    44 
    43 
   716             self.OpenProject(projectpath)
   715             self.OpenProject(projectpath)
   717         return OpenRecentProject
   716         return OpenRecentProject
   718 
   717 
   719     def GenerateMenuRecursive(self, items, menu):
   718     def GenerateMenuRecursive(self, items, menu):
   720         for kind, infos in items:
   719         for kind, infos in items:
   721             if isinstance(kind, types.ListType):
   720             if isinstance(kind, list):
   722                 text, id = infos
   721                 text, id = infos
   723                 submenu = wx.Menu('')
   722                 submenu = wx.Menu('')
   724                 self.GenerateMenuRecursive(kind, submenu)
   723                 self.GenerateMenuRecursive(kind, submenu)
   725                 menu.AppendMenu(id, text, submenu)
   724                 menu.AppendMenu(id, text, submenu)
   726             elif kind == wx.ITEM_SEPARATOR:
   725             elif kind == wx.ITEM_SEPARATOR: