folding "try/catch/finally"

I can FOLD a TRY block

I can FOLD a CATCH block

How do I get Storm to FOLD a FINALLY block?

1 comment
Comment actions Permalink

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

0

Please sign in to leave a comment.