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)
