2157 |
2157 |
2158 def reportChanged(self, filename, oldSource): |
2158 def reportChanged(self, filename, oldSource): |
2159 """ |
2159 """ |
2160 Public slot to report some changed sources. |
2160 Public slot to report some changed sources. |
2161 |
2161 |
2162 @param filename file name of the changed source (string) |
2162 @param filename file name of the changed source |
2163 @param oldSource source code before the change (string) |
2163 @type str |
|
2164 @param oldSource source code before the change |
|
2165 @type str |
2164 """ |
2166 """ |
2165 if self.__e5project.isOpen() and \ |
2167 if self.__e5project.isOpen() and \ |
2166 self.__e5project.isProjectFile(filename): |
2168 self.__e5project.isProjectFile(filename): |
2167 self.sendJson("ReportChanged", { |
2169 self.sendJson("ReportChanged", { |
2168 "FileName": filename, |
2170 "FileName": filename, |