| changeset 1831 | 56b48961cc68 |
| parent 1826 | 91796f408540 |
| child 1847 | 6198190bc121 |
| 1830:e598d1acf354 | 1831:56b48961cc68 |
|---|---|
29 import getopt |
29 import getopt |
30 import time |
30 import time |
31 import util.paths as paths |
31 import util.paths as paths |
32 |
32 |
33 |
33 |
34 class BeremizIDELauncher: |
34 class BeremizIDELauncher(object): |
35 def __init__(self): |
35 def __init__(self): |
36 self.app = None |
36 self.app = None |
37 self.frame = None |
37 self.frame = None |
38 self.updateinfo_url = None |
38 self.updateinfo_url = None |
39 self.extensions = [] |
39 self.extensions = [] |