search

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

setting a note's text should have the side effect of setting its size to fit the text #78

Closed nicolaspayette closed 9 years ago

nicolaspayette commented 10 years ago

Or maybe something like set-default-size should be called explicitly.

nicolaspayette commented 10 years ago

Setting font size should be considered as well.