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