An extension for creating additional interface tabs in the NetLogo GUI and putting custom widgets on them.