Closed uruuru closed 4 years ago
Setting a filter like so new ModelResourcePath("realworld/ptolemy/flattened/**/").withFilter(new FileExtensionFilter("elkg")) Adds elkt files as well.
new ModelResourcePath("realworld/ptolemy/flattened/**/").withFilter(new FileExtensionFilter("elkg"))
elkt
I guess the following line is the problem: https://github.com/eclipse/elk/blob/bbea5044afab334b953e96224d7c031e611969fe/test/org.eclipse.elk.alg.test/src/org/eclipse/elk/alg/test/framework/graph/GraphFromFile.java#L88
Presumably this should only be done for resource paths that do not have a filter set, yet.
@le-cds ?
Fixed by only setting the default file filter if no custom filter has been set by the user.
Setting a filter like so
new ModelResourcePath("realworld/ptolemy/flattened/**/").withFilter(new FileExtensionFilter("elkg"))
Addselkt
files as well.I guess the following line is the problem: https://github.com/eclipse/elk/blob/bbea5044afab334b953e96224d7c031e611969fe/test/org.eclipse.elk.alg.test/src/org/eclipse/elk/alg/test/framework/graph/GraphFromFile.java#L88
Presumably this should only be done for resource paths that do not have a filter set, yet.
@le-cds ?