mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 06:39:38 +07:00
There are other IDEs that enable showWhatIsNewPageAfterUpdate option, so it's better to reuse the implementation. GitOrigin-RevId: 64aa54c0a088f920d00c09d7c0eca09861b3b553