def __init__(self): Main.__init__(self)
def __init__(self): Main.__init__(self) self.addSaveActionProvider(ModelSim.Provider())
def __init__(self): Main.__init__(self) self.setMenuProvider(Menu()) self.addSaveActionProvider(Isim.SingleFileProvider())