PyLint/PyLintExecDialog.py

changeset 10
398979610d9b
parent 7
cda98d0e93e7
child 11
a8e908641c20
equal deleted inserted replaced
9:7b4edecdaf31 10:398979610d9b
306 306
307 fn = os.path.join(self.pathname, itm.text(0)) 307 fn = os.path.join(self.pathname, itm.text(0))
308 lineno = int(itm.text(1)) 308 lineno = int(itm.text(1))
309 309
310 e5App().getObject("ViewManager").openSourceFile(fn, lineno) 310 e5App().getObject("ViewManager").openSourceFile(fn, lineno)
311 # TODO: set warning markers
311 312
312 def __writeReport(self): 313 def __writeReport(self):
313 """ 314 """
314 Private slot to write the report to a report file. 315 Private slot to write the report to a report file.
315 """ 316 """

eric ide

mercurial