From 496ee5b76052e60c9600c9458af8b7931293b805 Mon Sep 17 00:00:00 2001
From: Sergei Tachenov <sergei.tachenov@jetbrains.com>
Date: Wed, 15 Feb 2023 17:07:19 +0200
Subject: [PATCH] [platform] IDEA-261340 Override visit() in EdtBgtTreeVisitor
 for readability

(cherry picked from commit 096b1fb2f8cac1dc1bd3ba2509db616856dfd044)

IJ-CR-102342

GitOrigin-RevId: b02733f2e3b804f101f4f3f6b94875de00f6b469
---
 .../editor-ui-api/src/com/intellij/ui/tree/EdtBgtTreeVisitor.kt | 2 ++
 1 file changed, 2 insertions(+)

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
 
 }