890 ErrorDialog( |
890 ErrorDialog( |
891 title, |
891 title, |
892 self.tr("Rope error: {0}").format(result["ErrorString"]), |
892 self.tr("Rope error: {0}").format(result["ErrorString"]), |
893 traceback=result["Traceback"], |
893 traceback=result["Traceback"], |
894 parent=self.__ui |
894 parent=self.__ui |
895 ).exec_() |
895 ).exec() |
896 |
896 |
897 return False |
897 return False |
898 |
898 |
899 def __getOffset(self, editor, line, index): |
899 def __getOffset(self, editor, line, index): |
900 r""" |
900 r""" |
1876 if res: |
1876 if res: |
1877 src = self.__defaultConfig() |
1877 src = self.__defaultConfig() |
1878 cname = self.__ropeConfigFile() |
1878 cname = self.__ropeConfigFile() |
1879 if src != "" and cname is not None: |
1879 if src != "" and cname is not None: |
1880 try: |
1880 try: |
1881 f = open(cname, "w") |
1881 with open(cname, "w") as f: |
1882 f.write(src) |
1882 f.write(src) |
1883 f.close() |
|
1884 self.__configChanged() |
1883 self.__configChanged() |
1885 self.__editConfig() |
1884 self.__editConfig() |
1886 except IOError as err: |
1885 except IOError as err: |
1887 E5MessageBox.critical( |
1886 E5MessageBox.critical( |
1888 None, |
1887 None, |