Nikolay Chashnikov a5cb350b15 [platform] move code which closes the tip dialog to the corresponding module (GTW-9854) ...

Otherwise, if 'intellij.platform.tips' module isn't loaded (e.g. in the frontend process), TipAndTrickManager.getInstance() fails with exception and no plugin can be dynamically unloaded.

GitOrigin-RevId: e7b22f39d122e1802e13cdf56122c7cb73b4c920

2024-10-02 15:35:02 +00:00

..

intellij.platform.tips.xml

…