From b24c9f77179bdd462fe67ec32967355400327f08 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Wed, 17 Dec 2025 16:33:01 +0100 Subject: [PATCH] Update JetBrains usage information --- docs/02-usage/025_jetbrains_plugin.md | 52 ++++++++++++++++++++------- 1 file changed, 39 insertions(+), 13 deletions(-) diff --git a/docs/02-usage/025_jetbrains_plugin.md b/docs/02-usage/025_jetbrains_plugin.md index 05a1693f..5219c201 100644 --- a/docs/02-usage/025_jetbrains_plugin.md +++ b/docs/02-usage/025_jetbrains_plugin.md @@ -1,27 +1,53 @@ # The Serena JetBrains Plugin The [JetBrains Plugin](https://plugins.jetbrains.com/plugin/28946-serena/) allows Serena to -leverage the powerful code analysis capabilities of JetBrains IDEs, -which offers several advantages over the default language server approach. +leverage the powerful code analysis and editing capabilities of your JetBrains IDE. -The proceeds from the plugin also allow us to dedicate more resources to further developing and improving Serena. -We recommend the JetBrains plugin as the preferred way of using Serena, regardless of your choice of code editor. +```{raw} html +

+