changed widget.js to add some properties to the widget. Widgets now only get the gui options as a parameter instead of the whole configuration.

(binary:application/octet-stream)