517 filters.extend( |
517 filters.extend( |
518 [ |
518 [ |
519 "^{0}$".format( |
519 "^{0}$".format( |
520 assoc.replace(".", r"\.").replace("*", ".*") |
520 assoc.replace(".", r"\.").replace("*", ".*") |
521 ) |
521 ) |
522 for assoc in list( |
522 for assoc in Preferences.getEditorLexerAssocs() |
523 Preferences.getEditorLexerAssocs().keys() |
|
524 ) |
|
525 if assoc |
523 if assoc |
526 not in self.__project.getFileCategoryExtension( |
524 not in self.__project.getFileCategoryExtension( |
527 fileType, reverse=True |
525 fileType, reverse=True |
528 ) |
526 ) |
529 ] |
527 ] |