mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
* it was effectively the same as close notification (cherry picked from commit 0cf7a9c7653acf8aa1f78b2254952f97cbd4eee4) IJ-CR-147839 GitOrigin-RevId: b7268f442939c2b103c2a41d98e3bf56a7f1a9f4