1271 Public slot to handle the editorSaved signal. |
1271 Public slot to handle the editorSaved signal. |
1272 |
1272 |
1273 @param filename name of the file that was saved |
1273 @param filename name of the file that was saved |
1274 @type str |
1274 @type str |
1275 """ |
1275 """ |
1276 if self.__project.isProjectSource(filename): |
1276 try: |
|
1277 isProjectSource = self.__project.isProjectCategory(filename, "SOURCES") |
|
1278 except AttributeError: |
|
1279 # backward compatibility for eric < 22.12 |
|
1280 isProjectSource = self.__project.isProjectSource(filename) |
|
1281 if isProjectSource: |
1277 self.__workerQueue.append(filename) |
1282 self.__workerQueue.append(filename) |
1278 self.__processQueue() |
1283 self.__processQueue() |
1279 |
1284 |
1280 |
1285 |
1281 class APIsManager(QObject): |
1286 class APIsManager(QObject): |