GUI: make jslint happy

dream/platform/src/dream/Input_viewSimulation.js

-/*global rJS, RSVP, jQuery, promiseEventListener, initGadgetMixin */
+/*global rJS, RSVP, jQuery, promiseEventListener, initGadgetMixin, alert */
 /*jslint nomen: true */
 (function (window, rJS, RSVP, $, promiseEventListener, initGadgetMixin) {
   "use strict";

dream/platform/src/dream/index.js

-/*global console, jQuery, rJS, RSVP, alert, Handlebars, initGadgetMixin, confirm */
+/*global console, jQuery, rJS, RSVP, alert, Handlebars, initGadgetMixin, confirm, alert */
 /*jslint nomen: true */
 (function (window, $, rJS, RSVP, Handlebars, initGadgetMixin) {
   "use strict";

dream/platform/src/fieldset/fieldset.js

@@ -91,7 +91,7 @@
             // style only recursive fieldsets
             gadget.props.fieldset_element.style["border-width"] = "1px";
             gadget.props.fieldset_element.style["border-radius"] = "5px";
-            gadget.props.fieldset_element.style["padding"] = "1px";
+            gadget.props.fieldset_element.style.padding = "1px";
           }
           if (node_id) {
             addField('id', options.property_definition.properties.id || {'type': 'string'}, node_id);