mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
Otherwise, if compilation is invoked from a modal dialog, when the coroutine switches to EDT (via saveSettings -> reloadChangedStorageFiles -> doReload), it'll use NON_MODAL state and therefore code won't be executed. GitOrigin-RevId: 64a0023763c9599618f544cfb897bbeff8033944