Improved widget options

[Bruce Sherwood]

Now for any widget (button, radio, checkbox, slider, menu, wtext) you can remove a widget named w from the web page with w.delete().

Also, except for wtext, you can temporarily disable or re-enable a widget with w.disabled = True or False. When an object is disabled it is grayed out (except for a slider) and widget events are not sent to the bound function (a slider can still be moved, but it doesn't do anything).

Here is the updated documentation:

    http://www.glowscript.org/docs/VPythonDocs/controls.html

These new features are not yet available for VPython 7.

Bruce