mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
PSI_ELEMENT.getData returns an outdated PSI element if called in-place in the same EDT event the selection changes. Fix by postponing the update using a state flow. (cherry picked from commit e8568cdadbb2ee1332a2aedfd60a20c072840537) IJ-CR-169482 GitOrigin-RevId: 1d4ddecba8c44dee25bcfe31b24518eedde2f7fd