From 3d61fc0844359842f118dba19e60ca5cadf7e5e8 Mon Sep 17 00:00:00 2001
From: Karol Lewandowski <karol.lewandowski@jetbrains.com>
Date: Thu, 5 Dec 2024 11:13:12 +0100
Subject: [PATCH] disposers.md: Untie an example plugin resource lifetime from
 plugin's lifetime (make a different start)

---
 topics/basics/disposers.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/topics/basics/disposers.md b/topics/basics/disposers.md
index 2da543e56..41aa5623b 100644
--- a/topics/basics/disposers.md
+++ b/topics/basics/disposers.md
@@ -121,7 +121,7 @@ Use the following guidelines to choose the correct parent:
 >     section Lifetimes
 >         Project         : 0, 10
 >         Plugin          : 2, 5
->         Plugin Resource : crit, 2, 10
+>         Plugin Resource : crit, 3, 10
 > ```
 >
 > If the resource used, e.g., a plugin's project-level service (if shorter living parents are possible, prefer them), the resource would be disposed together with the plugin:
@@ -133,7 +133,7 @@ Use the following guidelines to choose the correct parent:
 >     section Lifetimes
 >         Project         : 0, 10
 >         Plugin          : 2, 5
->         Plugin Resource : 2, 5
+>         Plugin Resource : 3, 5
 > ```
 >
 > Inspection <control>Plugin DevKit | Code | Incorrect parentDisposable parameter</control> will highlight such problems.