add `hidden?` property for tabs

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

nicolaspayette commented 10 years ago

For some reason, the property as defined now in ComponentWidgetKind causes repaint problems when added to TabKind.propertySet.

nicolaspayette commented 10 years ago

Would have to actually remove to tab and re-create it when unhidden. Won't fix for now.