BeremizIDE.py
changeset 1832 0f1081928d65
parent 1831 56b48961cc68
child 1834 cd42b426028b
equal deleted inserted replaced
1831:56b48961cc68 1832:0f1081928d65
    27 import os
    27 import os
    28 import sys
    28 import sys
    29 import tempfile
    29 import tempfile
    30 import shutil
    30 import shutil
    31 import random
    31 import random
       
    32 import re
    32 import time
    33 import time
    33 import version
    34 import types
    34 
    35 import commands
    35 from types import ListType
    36 from time import time as gettime
    36 
    37 from threading import Lock, Timer, currentThread
       
    38 
       
    39 import cPickle
    37 import wx.lib.buttons
    40 import wx.lib.buttons
    38 import wx.lib.statbmp
    41 import wx.lib.statbmp
    39 import wx.stc
    42 import wx.stc
    40 import cPickle
    43 
    41 import types
    44 
    42 import re
    45 import version
    43 import commands
       
    44 from threading import Lock, Timer, currentThread
       
    45 from time import time as gettime
       
    46 
       
    47 import util.paths as paths
    46 import util.paths as paths
    48 from docutil import OpenHtmlFrame
    47 from docutil import OpenHtmlFrame
    49 from editors.EditorPanel import EditorPanel
    48 from editors.EditorPanel import EditorPanel
    50 from editors.Viewer import Viewer
    49 from editors.Viewer import Viewer
    51 from editors.TextViewer import TextViewer
    50 from editors.TextViewer import TextViewer
   721             self.OpenProject(projectpath)
   720             self.OpenProject(projectpath)
   722         return OpenRecentProject
   721         return OpenRecentProject
   723 
   722 
   724     def GenerateMenuRecursive(self, items, menu):
   723     def GenerateMenuRecursive(self, items, menu):
   725         for kind, infos in items:
   724         for kind, infos in items:
   726             if isinstance(kind, ListType):
   725             if isinstance(kind, types.ListType):
   727                 text, id = infos
   726                 text, id = infos
   728                 submenu = wx.Menu('')
   727                 submenu = wx.Menu('')
   729                 self.GenerateMenuRecursive(kind, submenu)
   728                 self.GenerateMenuRecursive(kind, submenu)
   730                 menu.AppendMenu(id, text, submenu)
   729                 menu.AppendMenu(id, text, submenu)
   731             elif kind == wx.ITEM_SEPARATOR:
   730             elif kind == wx.ITEM_SEPARATOR: