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.
An extension for creating additional interface tabs in the NetLogo GUI and putting custom widgets on them.
