An extension for creating additional interface tabs in the NetLogo GUI and putting custom widgets on them.
@esaminu are you around? Perhaps we can chat here instead of in the main NetLogo room.
hey @nicolaspayette just saw this