mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-23 07:39:39 +07:00
It is true, that in most cases storage format didn't change. Still some changes preset: e.g. PythonLanguageLevelPusher changed attribute type from string to int (enum). To stay on the safe side, we update all the attribute versions. Also note that FilePropertyKey does not put references to original type to user data (e.g. instead of LanguageLevel it will be int or string). No special care is needed to make plugin unloadable in this case. GitOrigin-RevId: 439eae357778e9c827b5a1a9ad2a79f9a3c9e3a7