Superclass: Widget

Class definition of PinHandle in lively/Fabrik.js:797