-
- def updateValues(self, pos):
-
- if pos == None:
- self.status.set_text("Exited")
- else:
- file, lineno = pos
- self.status.set_text("%s:%s" % (file, lineno))
-
- for f in self.frames:
- f.updateValues(pos)
-
-
- def viewBtnClicked(self, btn):
-
- status = self.status.get_label().strip()
- rx = re.compile("\S+:\d+")
-
- #It is a path
- if rx.search(status):
- try:
- [file,lineno] = string.split(status,":")
- lineno = int(lineno)
-
- os.system('gvim -R -c ":%d" %s' % (lineno,file))
-
- except OSError:
- pass
-
-
-