mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
External plugins may start using this class after IJPL-182310 is implemented. It's better not to allow external plugins to use a switch/when statement without an 'else' branch for this type because we may add new variants in the future, and such changes shouldn't break clients. GitOrigin-RevId: 9a6cc2dd25cc7b63e6248d894de14d267e46b641