extension for manipulating the GUI widgets in NetLogo's Interface tab - View it on GitHub