mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Editor is going to be destroyed soon, clearing its state is not necessary. This is a workaround for IDEA-309771 and similar performance issues. GitOrigin-RevId: d73035dd182b47cb006a93e7f8e799704c99251f