folding "try/catch/finally" W Torres 创建于 2020年10月30日 15:33 I can FOLD a TRY block I can FOLD a CATCH block How do I get Storm to FOLD a FINALLY block?
That's a bug, "finally" blocks can't be folded yet. Here's a bug report that you can vote for to increase its priority: https://youtrack.jetbrains.com/issue/WI-23031