Re: Format of try ... catch blocks

Dave Heap

On 24 May 2020, at 3:37 PM, danielb987 <db123@...> wrote:

There you have a checkbox "catch". Is that checkbox checked?

No, it's not checked. Something seems to be overriding that setting.

I'm suspecting:
merged since yesterday (my time zone).

What policy do we want?

I'm also suspecting this for suddenly aligning descriptions of @param in JavaDoc . I must say I like that one. Again, what policy do we want?

I'll hold off on a PR I was about to create...


Join to automatically receive all group messages.