From 2da8821c9be1aed21fc022106c0dad03a8cdbfbe Mon Sep 17 00:00:00 2001 From: Karol Lewandowski Date: Wed, 31 Aug 2022 17:57:07 +0200 Subject: [PATCH] plugin_configuration_file.md: show more elements in toc --- topics/basics/plugin_structure/plugin_configuration_file.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/topics/basics/plugin_structure/plugin_configuration_file.md b/topics/basics/plugin_structure/plugin_configuration_file.md index 46ba22bb4..1a4a40d2d 100644 --- a/topics/basics/plugin_structure/plugin_configuration_file.md +++ b/topics/basics/plugin_structure/plugin_configuration_file.md @@ -1,5 +1,7 @@ [//]: # (title: Plugin Configuration File) + + The plugin.xml configuration file contains all the information about the plugin, which is displayed in the [plugins settings dialog](https://www.jetbrains.com/help/idea/managing-plugins.html), and all registered extensions, actions, listeners, etc.