From 9e2064199571f84420f43743a3185462bb45d3cb Mon Sep 17 00:00:00 2001 From: Lars Reimann Date: Thu, 30 Jun 2022 13:21:28 +0200 Subject: [PATCH] fix(gui): done filter not matching element if it had removed autogenerated annotations --- api-editor/gui/src/features/filter/model/DoneFilter.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/api-editor/gui/src/features/filter/model/DoneFilter.ts b/api-editor/gui/src/features/filter/model/DoneFilter.ts index 5a35b537e..4c650ed15 100644 --- a/api-editor/gui/src/features/filter/model/DoneFilter.ts +++ b/api-editor/gui/src/features/filter/model/DoneFilter.ts @@ -39,7 +39,7 @@ export class DoneFilter extends AbstractPythonFilter { return ( pythonDeclaration.id in annotations.completes && this.getAnnotationsForTarget(pythonDeclaration.id, annotations).every( - (annotation) => (annotation.reviewers?.length ?? 0) > 0, + (annotation) => annotation.isRemoved || (annotation.reviewers?.length ?? 0) > 0, ) ); }