update tab title in menu when changing title property

CRESS-Surrey / eXtraWidgets

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

MIT License

13 stars 4 forks source link

Closed nicolaspayette closed 10 years ago