disposers.md: Untie an example plugin resource lifetime from plugin's lifetime (make a different start)

This commit is contained in:
Karol Lewandowski 2024-12-05 11:13:12 +01:00
parent ed1e1df7e6
commit 3d61fc0844

View File

@ -121,7 +121,7 @@ Use the following guidelines to choose the correct parent:
> section Lifetimes > section Lifetimes
> Project : 0, 10 > Project : 0, 10
> Plugin : 2, 5 > 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: > 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 > section Lifetimes
> Project : 0, 10 > Project : 0, 10
> Plugin : 2, 5 > Plugin : 2, 5
> Plugin Resource : 2, 5 > Plugin Resource : 3, 5
> ``` > ```
> >
> Inspection <control>Plugin DevKit | Code | Incorrect parentDisposable parameter</control> will highlight such problems. > Inspection <control>Plugin DevKit | Code | Incorrect parentDisposable parameter</control> will highlight such problems.