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