mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-28 04:37:32 +07:00
- Update notification text to be shorter and more meaningful - Add [beta] label to notification title and settings checkbox - Use "workspace structure" wording consistently (cherry picked from commit 7df0d727e61fa877a0ff9f83aed88c1c9b8cbd84) IJ-MR-193755 GitOrigin-RevId: 73f4df4dd4f5de92a98d39a7746550d26faa3272