Beremiz.py
changeset 1680 6db967480b7d
parent 1666 d3603b5a1cbc
child 1730 64d8f52bc8c8
equal deleted inserted replaced
1679:2fcea15858a5 1680:6db967480b7d
    25 
    25 
    26 
    26 
    27 import os, sys, getopt
    27 import os, sys, getopt
    28 import time
    28 import time
    29 import __builtin__
    29 import __builtin__
       
    30 import util.paths as paths
    30 
    31 
    31 class BeremizIDELauncher:
    32 class BeremizIDELauncher:
    32     def __init__(self):
    33     def __init__(self):
    33         self.updateinfo_url = None
    34         self.updateinfo_url = None
    34         self.extensions = []
    35         self.extensions = []
    35         self.app_dir = os.path.dirname(os.path.realpath(__file__))
    36         self.app_dir = paths.AbsDir(__file__)
    36         self.projectOpen = None
    37         self.projectOpen = None
    37         self.buildpath = None
    38         self.buildpath = None
    38         self.splash = None
    39         self.splash = None
    39         self.splashPath = self.Bpath("images", "splash.png")
    40         self.splashPath = self.Bpath("images", "splash.png")
    40 
    41