From d2641769efb351ee390ac64d05fcec6defda67a8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Tue, 22 Aug 2023 15:12:33 +0200 Subject: [PATCH] EP lists: change header --- topics/_shared/snippets.md | 2 ++ topics/appendix/resources/extension_point_list.md | 4 +--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/topics/_shared/snippets.md b/topics/_shared/snippets.md index 626dfece8..f816dd64c 100644 --- a/topics/_shared/snippets.md +++ b/topics/_shared/snippets.md @@ -70,6 +70,8 @@ _Early Access Program_ (EAP) releases of upcoming versions are available [here]( ## Legend +> See also [](explore_api.md) for more information and strategies. + ### Listeners **Topic** searches for usages inside existing implementations of open-source IntelliJ Platform plugins via [IntelliJ Platform Explorer](https://jb.gg/ipe). diff --git a/topics/appendix/resources/extension_point_list.md b/topics/appendix/resources/extension_point_list.md index b1eb82a68..be37743d3 100644 --- a/topics/appendix/resources/extension_point_list.md +++ b/topics/appendix/resources/extension_point_list.md @@ -10,9 +10,7 @@ - [](#intellij-community-plugins) - [](#android-plugin) -> Dedicated Extension Point/Listener Lists specific to IDEs are available under _Part VIII — Product Specific_. -> -> See also [](explore_api.md) for more information and strategies. +> Dedicated Extension Point/Listener Lists specific to IDEs (e.g., [WebStorm](webstorm.md)) are available under _Part VIII — Product Specific_. > {title="Product Specific Information"}