def __init__(self, path=''): self.path = os.path.expanduser(os.path.expandvars(path)) self.basename = os.path.basename(self.path) self.changed = False if os.path.exists(self.path): f = file(self.path, 'r') text=f.read() f.close() else: print 'New file' text = '' TextBuffer.__init__(self, name=self.basename, text=text)
def __init__(self, path=""): self.path = os.path.expanduser(os.path.expandvars(path)) self.basename = os.path.basename(self.path) self.changed = False if os.path.exists(self.path): f = file(self.path, "r") text = f.read() f.close() else: print "New file" text = "" TextBuffer.__init__(self, name=self.basename, text=text)
def notify_changed(self, ev): old_text = self.text TextBuffer.notify_changed(self, ev) if (not self.changed) and old_text != self.text: self.changed = True self.change_name('*' + self.basename)
def __init__(self, frame): self.frame = frame TextBuffer.__init__(self, '__debug__', 'Debugging information (sys.stderr):\n')
def add_observer(self, o): TextBuffer.add_observer(self, o) o.readonly = 1 o.insertmode = 'append'
def notify_changed(self, ev): old_text = self.text TextBuffer.notify_changed(self, ev) if (not self.changed) and old_text != self.text: self.changed = True self.change_name("*" + self.basename)