(Edit: 10.1.1)

A few more fixes and improvements compared with the previous version, the most visible modification being the way borders corners are drawn. When using transparency adjacent borders don’t overlap any more.

Full list of changes:

– fix unlocking when requested from an event run in the context of the home screen (https://plus.google.com/105066926163073195690/posts/AfKnJ8SYpXq)

– when drawing item borders, draw corners using a triangle shape when they overlap, but keep a rectangular shape when a single segment is drawn in a corner (adjacent segment size is zero, not transparent color)

– in paused/resumed events, script Event.getContainer() will now return the container being paused/resumed

– add script Event.getSource()