j
k
j a
j l
Thanks for the reply, then it should be equivalent. I would suggest to add a comment in this regards to the new logic, to make it clear for eventual future changes. Lets wait a few more days for other comments before merging.
Attachments:
Back to the thread
Back to the list