mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 04:21:24 +07:00
1. Obey registry key. 2. Use `readAction` to prevent race when file chaned from another thread. 3. Extract action title to the i18n GitOrigin-RevId: eb9ca0841c13de06fb636d1e14f34d4a1b72b598