From 61fe6bc0cd320f2cdca71263dce4a014a1aa35c1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Tue, 14 Sep 2021 11:35:21 +0200 Subject: [PATCH] EP header: tweak --- topics/appendix/resources/extension_point_list.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/topics/appendix/resources/extension_point_list.md b/topics/appendix/resources/extension_point_list.md index b216f5976..952edca16 100644 --- a/topics/appendix/resources/extension_point_list.md +++ b/topics/appendix/resources/extension_point_list.md @@ -16,14 +16,16 @@ -See [Plugin Extensions](plugin_extensions.md) on how to declare extensions in your plugin. + > See [Plugin Extensions](plugin_extensions.md) on how to declare extensions in your plugin. + > + {type="tip"} + +## Legend **Extension Point** searches for usages inside existing implementations of open-source IntelliJ Platform plugins via [IntelliJ Platform Explorer](https://jb.gg/ipe). **Implementation** is related Extension Point class. -## Note Legend - | Icon | Description | Details | |---|---|---| | ![Experimental API][experimental] | Experimental API | Implementation annotated with [`@ApiStatus.Experimental`](https://github.com/JetBrains/java-annotations/blob/master/common/src/main/java/org/jetbrains/annotations/ApiStatus.java), API might be altered or removed without prior notice |