Attached Documents

pylint-gui-fix.patch

pylint-gui-fix.patch

download
*** guireporter.py_orig	2012-04-27 14:43:57.355540521 +0200
--- guireporter.py	2012-04-27 14:44:32.175539063 +0200
***************
*** 21,27 ****
  
      def add_message(self, msg_id, location, msg):
          """manage message of different type and in the context of path"""
!         module, obj, line = location[1:]
          if self.include_ids:
              sigle = msg_id
          else:
--- 21,27 ----
  
      def add_message(self, msg_id, location, msg):
          """manage message of different type and in the context of path"""
!         module, obj, line, col_offset = location[1:]
          if self.include_ids:
              sigle = msg_id
          else: