mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 12:31:26 +07:00
Makes it so full configuration name is displayed and improves preview. #IDEA-322471 Fixed GitOrigin-RevId: 5adfa2dc8d4093c9282930a8a84506afc3be2039