Beispiel #1
0
 def load(self, notify=True):
     SourceModel.load(self, False)
     if Preferences.autoReindent:
         if not self.reindent():
             self.update()
     else:
         self.update()
     if notify: self.notify()
 def load(self, notify = True):
     SourceModel.load(self, False)
     if Preferences.autoReindent:
         if not self.reindent():
             self.update()
     else:
         self.update()
     if notify: self.notify()
Beispiel #3
0
    def saveAs(self, filename):
        oldFilename = self.filename
        SourceModel.saveAs(self, filename)
        if self.app:
            self.app.moduleSaveAsNotify(self, oldFilename, filename)
        self.moduleName = os.path.basename(filename)

        # update breakpoints
        from Debugger.Breakpoint import bplist
        bplist.renameFileBreakpoints(oldFilename, self.filename)
        if self.editor.debugger:
            self.editor.debugger.breakpts.refreshList()

        self.notify()
Beispiel #4
0
    def __init__(self, data, name, editor, saved, app=None):
        self.app = app
        SourceModel.__init__(self, data, name, editor, saved)
        self.moduleName = os.path.split(self.filename)[1]
        self.lastRunParams = ''
        self.lastDebugParams = ''
        self.useInputStream = False

        if data:
            if Preferences.autoReindent:
                if not self.reindent(False):
                    self.update()
            else:
                self.update()
    def saveAs(self, filename):
        oldFilename = self.filename
        SourceModel.saveAs(self, filename)
        if self.app:
            self.app.moduleSaveAsNotify(self, oldFilename, filename)
        self.moduleName = os.path.basename(filename)

        # update breakpoints
        from Debugger.Breakpoint import bplist
        bplist.renameFileBreakpoints(oldFilename, self.filename)
        if self.editor.debugger:
            self.editor.debugger.breakpts.refreshList()

        self.notify()
    def __init__(self, data, name, editor, saved, app=None):
        self.app = app
        SourceModel.__init__(self, data, name, editor, saved)
        self.moduleName = os.path.split(self.filename)[1]
        self.lastRunParams = ''
        self.lastDebugParams = ''
        self.useInputStream = False

        if data:
            if Preferences.autoReindent:
                if not self.reindent(False):
                    self.update()
            else:
                self.update()
Beispiel #7
0
 def save(self, overwriteNewer=False):
     if Preferences.autoReindent:
         self.reindent(False)
     SourceModel.save(self, overwriteNewer)
Beispiel #8
0
 def destroy(self):
     SourceModel.destroy(self)
     del self.app
 def save(self, overwriteNewer=False):
     if Preferences.autoReindent:
         self.reindent(False)
     SourceModel.save(self, overwriteNewer)
 def destroy(self):
     SourceModel.destroy(self)
     del self.app