mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
"Focus tool window" option added to run configurations GitOrigin-RevId: 51240804e843a2af1c684a4a59439e828b87898d
"Focus tool window" option added to run configurations GitOrigin-RevId: 51240804e843a2af1c684a4a59439e828b87898d