BeremizIDE.py
changeset 1832 0f1081928d65
parent 1831 56b48961cc68
child 1834 cd42b426028b
--- a/BeremizIDE.py	Thu Sep 28 12:20:40 2017 +0300
+++ b/BeremizIDE.py	Thu Sep 28 15:17:57 2017 +0300
@@ -29,21 +29,20 @@
 import tempfile
 import shutil
 import random
+import re
 import time
-import version
-
-from types import ListType
-
+import types
+import commands
+from time import time as gettime
+from threading import Lock, Timer, currentThread
+
+import cPickle
 import wx.lib.buttons
 import wx.lib.statbmp
 import wx.stc
-import cPickle
-import types
-import re
-import commands
-from threading import Lock, Timer, currentThread
-from time import time as gettime
-
+
+
+import version
 import util.paths as paths
 from docutil import OpenHtmlFrame
 from editors.EditorPanel import EditorPanel
@@ -723,7 +722,7 @@
 
     def GenerateMenuRecursive(self, items, menu):
         for kind, infos in items:
-            if isinstance(kind, ListType):
+            if isinstance(kind, types.ListType):
                 text, id = infos
                 submenu = wx.Menu('')
                 self.GenerateMenuRecursive(kind, submenu)