mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
Also edit the text of DataSpell onboarding for consistency. And decrease the font size of the onboarding banner title. GitOrigin-RevId: 8bdc141f8a27773e7d5659d14c1ad2d3270a70f1