search

ocadaruma / tlaplus-intellij-plugin

Intellij plugin for TLA+ formal specification language.
Apache License 2.0
52 stars 2 forks source link

Update the plugin to IntelliJ 2023 #31

Closed alexd6631 closed 1 year ago

alexd6631 commented 1 year ago

Hello,

It seems the plugin is no longer compatible with the 2023 versions of Jetbrains IDE, which were recently released.

Is there any plan to update it ?

Thanks

ocadaruma commented 1 year ago

Oh thanks for reporting.

Yeah let me check

ocadaruma commented 1 year ago

Now waiting Jetbrain's review. https://plugins.jetbrains.com/plugin/17965-tla-/versions/stable/315502 Please wait for a while.

ocadaruma commented 1 year ago

The plugin has been approved.

alexd6631 commented 1 year ago

Thanks for the quick update, the plugin works like a charm so far.

alexd6631 commented 1 year ago

Hello @ocadaruma,

It seems the plugin is no longer compatible with Webstorm 2023.2

ocadaruma commented 1 year ago

Oh thank you the notice. I'll handle soon.

Maybe I should have setup something to detect new-ver automatically

ocadaruma commented 1 year ago

@alexd6631 New ver is published as 0.9.1. Will be available on marketplace within few days