diff --git a/platform/editor-ui-api/src/com/intellij/ui/tree/EdtBgtTreeVisitor.kt b/platform/editor-ui-api/src/com/intellij/ui/tree/EdtBgtTreeVisitor.kt index dcd1e3f7efb8..b7c3840af284 100644 --- a/platform/editor-ui-api/src/com/intellij/ui/tree/EdtBgtTreeVisitor.kt +++ b/platform/editor-ui-api/src/com/intellij/ui/tree/EdtBgtTreeVisitor.kt @@ -20,6 +20,8 @@ interface EdtBgtTreeVisitor : TreeVisitor { fun preVisitEDT(path: TreePath): Action? + override fun visit(path: TreePath): Action // overridden for readability + fun postVisitEDT(path: TreePath, visitResult: Action): Action }