Just for the record, IntelliJ seems to have updated this plugin by itself (possibly when updating IntelliJ itself), and I had no issue opening Jelly files.
On Thu, 15 Sept 2022 at 07:23, 'Denys Digtiar' via Jenkins Developers < [email protected]> wrote: > It looks like the rename of the plugin might have caused an unintended > consequence that I missed. It is rather surprising given the ID of the > plugin has not changed. > > I am not sure if it is generic or depends on a certain sequence of events. > > It looks like `jelly` and `jellytag` somehow end up in the "Removed > Mappings" which prevents them from being associated with XML again. > > On macOS it is visible in ~/Library/Application > Support/JetBrains/<ideversion>/options/filetypes.xml. Following tags should > not be there as far as I understand > > <removed_mapping ext="jelly" approved="true" type="XML" /> > <removed_mapping ext="jellytag" approved="true" type="XML" /> > > I deleted the above two lines and restarted IntelliJ which restored the > file type association. > > Or you can just manually associate in Editor > File Types. > > Sorry for inconvenience. It annoyingly breaks in rather unexpected > circumstances. > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/648bb71f-d220-4f35-be54-6f3db79fe5e5n%40googlegroups.com > <https://groups.google.com/d/msgid/jenkinsci-dev/648bb71f-d220-4f35-be54-6f3db79fe5e5n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAKMi--Di5vRUba97%2BtMVu6_PYpcHUHgHVHM29_jJfmYf8hw0Ww%40mail.gmail.com.
