src/eric7/UI/FindFileWidget.py

branch
eric7
changeset 10373
093dcebe5ecb
parent 10050
3750abc45d5e
child 10430
e440aaf179ce
equal deleted inserted replaced
10372:1444b4bee64b 10373:093dcebe5ecb
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 ]

eric ide

mercurial